Changed the default keyboard shortcut to show calltips to "Meta+Alt+Space" because the original one (Alt+Space) doesn't work on Windows. 6_0_x

Wed, 04 Mar 2015 19:56:11 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Wed, 04 Mar 2015 19:56:11 +0100
branch
6_0_x
changeset 4157
00d12a3a5f2d
parent 4151
9f85001478de
child 4159
ba30f95a0ec2

Changed the default keyboard shortcut to show calltips to "Meta+Alt+Space" because the original one (Alt+Space) doesn't work on Windows.

ViewManager/ViewManager.py file | annotate | diff | comparison | revisions
--- a/ViewManager/ViewManager.py	Mon Mar 02 19:02:05 2015 +0100
+++ b/ViewManager/ViewManager.py	Wed Mar 04 19:56:11 2015 +0100
@@ -1336,7 +1336,7 @@
             QCoreApplication.translate('ViewManager', 'Calltip'),
             QCoreApplication.translate('ViewManager', '&Calltip'),
             QKeySequence(QCoreApplication.translate(
-                'ViewManager', "Alt+Space", "Edit|Calltip")),
+                'ViewManager', "Meta+Alt+Space", "Edit|Calltip")),
             0,
             self.editActGrp, 'vm_edit_calltip')
         self.calltipsAct.setStatusTip(QCoreApplication.translate(

eric ide

mercurial