From 73146e757d734ae5321d5c2704f5250ac9b76174 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Sun, 21 Jul 2019 14:37:14 +0200 Subject: [PATCH] Add tooltips The function itself seems broken. --- src/frontends/qt/ui/PrefLanguageUi.ui | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/frontends/qt/ui/PrefLanguageUi.ui b/src/frontends/qt/ui/PrefLanguageUi.ui index ed7d7fd845..e45570b38a 100644 --- a/src/frontends/qt/ui/PrefLanguageUi.ui +++ b/src/frontends/qt/ui/PrefLanguageUi.ui @@ -222,6 +222,9 @@ + + Specify here how the arrow keys behave within scripts with right-to-left direction + Right-to-left cursor movement: @@ -232,6 +235,9 @@ + + Right arrow key is interpreted as "move backwards", left arrow key as "move forward" + &Logical @@ -242,6 +248,9 @@ + + Right arrow key is interpreted as "move right", left arrow key as "move left" + &Visual -- 2.39.5