Builder4/Editor.bjs

Builder4/Editor.js
Builder4/Editor.vala

diff --git a/Builder4/Editor.bjs b/Builder4/Editor.bjs
index 8b2b04a..09b4f5a 100644 (file)
--- a/Builder4/Editor.bjs
+++ b/Builder4/Editor.bjs
@@ -56,7 +56,7 @@
                             "items": [
                                 {
                                     "listeners": {
-                                        "key_release_event": "function (self, event) {\n    \n    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {\n        print(\"SAVE: ctrl-S  pressed\");\n        this.save();\n        return false;\n    }\n   // print(event.key.keyval)\n    \n    return false;\n}\n/*--\n(event) => {\n    \n    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {\n        print(\"SAVE: ctrl-S  pressed\");\n        this.save();\n        return false;\n    }\n   // print(event.key.keyval)\n    \n    return false;\n\n}\n*/\n\n"
+                                        "key_release_event": "function (self, event) {\n    \n    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {\n        print(\"SAVE: ctrl-S  pressed\");\n        this.save();\n        return false;\n    }\n   // print(event.key.keyval)\n    \n    return false;\n}\n/*--\n(event) => {\n    \n    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) > 0 ) {\n        print(\"SAVE: ctrl-S  pressed\");\n        this.save();\n        return false;\n    }\n   // print(event.key.keyval)\n    \n    return false;\n\n}\n*/\n\n"
                                     },
                                     "id": "view",
                                     "indent_width": 4,

diff --git a/Builder4/Editor.js b/Builder4/Editor.js
index 5ce7191..6258fc4 100644 (file)
--- a/Builder4/Editor.js
+++ b/Builder4/Editor.js
@@ -182,7 +182,7 @@ Editor=new XObject({
                                 /*--
                                 (event) => {
                                     
-                                    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {
+                                    if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) > 0 ) {
                                         print("SAVE: ctrl-S  pressed");
                                         this.save();
                                         return false;

diff --git a/Builder4/Editor.vala b/Builder4/Editor.vala
index 21ae147..167b37a 100644 (file)
--- a/Builder4/Editor.vala
+++ b/Builder4/Editor.vala
@@ -210,7 +210,7 @@ public class Xcls_Editor : Gtk.Window
             // listeners 
             this.key_release_event.connect( (event) => {
                 
-                if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {
+                if (event.key.keyval == 115 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) > 0 ) {
                     print("SAVE: ctrl-S  pressed");
                     this.save();
                     return false;