updated keybindings

samizdatco · samizdatco · commit c8711d2a3c98 · 2014-06-30T17:14:55.000-04:00
diff --git a/app/Resources/ui/js/ace.js b/app/Resources/ui/js/ace.js
diff --git a/app/Resources/ui/js/keybindings.js b/app/Resources/ui/js/keybindings.js
@@ -25,8 +25,11 @@ NODEBOX_KEYBINDINGS=[
         name: "refreshdoc",
         exec: function(editor, str) { editor.session.setValue(str); },
     },{
-        name: "refreshdoc",
-        exec: function(editor, str) { editor.session.setValue(str); },
+        name: "cancelRun",
+        bindKey: {mac: "Command-."},
+        exec: function(editor) {
+            app.cancelRun()
+        }
     },{
         name: "openPreferences",
         bindKey: {mac: "Command-,"},
diff --git a/plotdevice/gui/editor.py b/plotdevice/gui/editor.py
@@ -277,6 +277,12 @@ def undoAction_(self, sender):
     def loadPrefs(self):
        NSApp().delegate().showPreferencesPanel_(self)
 
+    def cancelRun(self):
+        # catch command-period even when the editor is first responder
+        mm=NSApp().mainMenu()
+        menu = mm.itemWithTitle_("Python")
+        menu.submenu().performActionForItemAtIndex_(3)
+
     def edits(self, count):
         # inform the undo manager of the changes
         um = self._undo_mgr
