##// END OF EJS Templates
command should not be aliased to control by default
MinRK -
Show More
@@ -925,7 +925,7 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
925
925
926 return menu
926 return menu
927
927
928 def _control_key_down(self, modifiers, include_command=True):
928 def _control_key_down(self, modifiers, include_command=False):
929 """ Given a KeyboardModifiers flags object, return whether the Control
929 """ Given a KeyboardModifiers flags object, return whether the Control
930 key is down.
930 key is down.
931
931
General Comments 0
You need to be logged in to leave comments. Login now