diff options
author | Rahul P | 2023-06-28 23:42:58 +0530 |
---|---|---|
committer | GitHub | 2023-06-28 23:42:58 +0530 |
commit | 373add9a93e4c51c4f654ccd493ccb385af158b1 (patch) | |
tree | 2da006ebda0ea61ce7a6f50e1e7557a3e1936b90 /src | |
parent | 4a276b252d84a0b7dd24588e56dc7e214ea2d7c6 (diff) | |
parent | c33d64a5023ce91f11fe24bf29db6115a1d08bf0 (diff) | |
download | eSim-373add9a93e4c51c4f654ccd493ccb385af158b1.tar.gz eSim-373add9a93e4c51c4f654ccd493ccb385af158b1.tar.bz2 eSim-373add9a93e4c51c4f654ccd493ccb385af158b1.zip |
Merge pull request #259 from pranavkaruvally/master
Selectable terminal UI console
Diffstat (limited to 'src')
-rw-r--r-- | src/frontEnd/TerminalUi.ui | 2 |
1 files changed, 1 insertions, 1 deletions
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; } <p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><br /></p></body></html></string> </property> <property name="textInteractionFlags"> - <set>Qt::NoTextInteraction</set> + <set>Qt::LinksAccessibleByKeyboard|Qt::LinksAccessibleByMouse|Qt::TextBrowserInteraction|Qt::TextSelectableByKeyboard|Qt::TextSelectableByMouse</set> </property> </widget> </item> |