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

Wed, 04 Mar 2015 19:16:41 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Wed, 04 Mar 2015 19:16:41 +0100
changeset 4154
976b09b1f4a9
parent 4146
f892021b2e32
child 4155
c74074a883fd

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	Sun Mar 01 16:41:21 2015 +0100
+++ b/ViewManager/ViewManager.py	Wed Mar 04 19:16:41 2015 +0100
@@ -1336,7 +1336,7 @@
             QCoreApplication.translate('ViewManager', 'Calltip'),
             QCoreApplication.translate('ViewManager', '&Calltip'),
             QKeySequence(QCoreApplication.translate(
-                'ViewManager', "Alt+Space", "Edit|Calltip")),
+                'ViewManager', "Meta+CAlt+Space", "Edit|Calltip")),
             0,
             self.editActGrp, 'vm_edit_calltip')
         self.calltipsAct.setStatusTip(QCoreApplication.translate(

eric ide

mercurial