diff options
| -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> |