From c33d64a5023ce91f11fe24bf29db6115a1d08bf0 Mon Sep 17 00:00:00 2001
From: Pranav P
Date: Wed, 28 Jun 2023 22:21:23 +0530
Subject: Made the text in TerminalUi log console selectable

---
 src/frontEnd/TerminalUi.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/frontEnd/TerminalUi.ui b/src/frontEnd/TerminalUi.ui
index 9039984d..403ac344 100644
--- a/src/frontEnd/TerminalUi.ui
+++ b/src/frontEnd/TerminalUi.ui
@@ -151,7 +151,7 @@ p, li { white-space: pre-wrap; }
 &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
       </property>
       <property name="textInteractionFlags">
-       <set>Qt::NoTextInteraction</set>
+       <set>Qt::LinksAccessibleByKeyboard|Qt::LinksAccessibleByMouse|Qt::TextBrowserInteraction|Qt::TextSelectableByKeyboard|Qt::TextSelectableByMouse</set>
       </property>
      </widget>
     </item>
-- 
cgit