xtype: GtkSource.View,
listeners : {
key_release_event : function (self, event) {
+
if (event.key.keyval == 115 && (Gdk.ModifierType.CONTROL_MASK & 4) ) {
+ print("SAVE: ctrl-S pressed");
this.save();
return false;
}
// print(event.key.keyval)
-
+
return false;
}
},