From f047b1b6eb3defacea55d8b6c21883bfcfd29979 Mon Sep 17 00:00:00 2001 From: Alexander Golubev Date: Fri, 10 Mar 2023 05:25:20 +0300 Subject: [PATCH] Gui: add a tooltip about how to modify shortcuts into DlgKeyboard --- src/Gui/DlgKeyboard.ui | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Gui/DlgKeyboard.ui b/src/Gui/DlgKeyboard.ui index 5e2d77ca5e..8ff9076675 100644 --- a/src/Gui/DlgKeyboard.ui +++ b/src/Gui/DlgKeyboard.ui @@ -103,6 +103,9 @@ + + To change a current shortcut enter the new shortcut in the field below and press 'Assign'. + true