- "key_release_event": "function (self, event) {\n \n if (event.key.keyval == 115 && (Gdk.ModifierType.CONTROL_MASK & 4) ) {\n print(\"SAVE: ctrl-S pressed\");\n this.save();\n return false;\n }\n // print(event.key.keyval)\n \n return false;\n}"
+ "key_release_event": "function (self, event) {\n \n if (event.key.keyval == 115 && (Gdk.ModifierType.CONTROL_MASK & 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}"