Sample/Editor.js

diff --git a/Sample/Editor.js b/Sample/Editor.js
index b5ac616..acbe43c 100644 (file)
--- a/Sample/Editor.js
+++ b/Sample/Editor.js
@@ -77,11 +77,12 @@ Editor=new XObject({
                             xtype: GtkSource.View,
                             listeners : {
                                 key_release_event : function (self, event) {
-                                    if (event.key.keyval != 115 || !(Gdk.ModifierType.CONTROL_MASK & 4) ) {
-                                        return;
+                                    if (event.key.keyval == 115 && (Gdk.ModifierType.CONTROL_MASK & 4) ) {
+                                        this.save();
+                                        return false;
                                     }
-                                    print(event.key.keyval)
-                                    this.save();
+                                   // print(event.key.keyval)
+                                
                                     return false;
                                 }
                             },