From 6762f4c15386bedaa9d8adca346d9e6eabf56d61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=A4rkl?= <info@florianmaerkl.de>
Date: Wed, 19 Jun 2019 13:49:29 +0200
Subject: [PATCH] Fix Console Font for some Platform Themes (#1610)

---
 src/widgets/ConsoleWidget.ui | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/widgets/ConsoleWidget.ui b/src/widgets/ConsoleWidget.ui
index 9dbd826f..a6ee16e9 100644
--- a/src/widgets/ConsoleWidget.ui
+++ b/src/widgets/ConsoleWidget.ui
@@ -40,8 +40,7 @@
       </property>
       <property name="font">
        <font>
-        <family>Monaco</family>
-        <pointsize>11</pointsize>
+        <family>Monospace</family>
        </font>
       </property>
       <property name="frameShape">
@@ -59,6 +58,9 @@
       <property name="plainText">
        <string/>
       </property>
+      <property name="textInteractionFlags">
+       <set>Qt::LinksAccessibleByMouse|Qt::TextSelectableByKeyboard|Qt::TextSelectableByMouse</set>
+      </property>
      </widget>
     </item>
     <item>