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 && (event.key.state & Gdk.ModifierType.CONTROL_MASK ) ) {
+ print("SAVE: ctrl-S pressed");
+ this.save();
+ return false;
}
- print(event.key.keyval)
- this.save();
+ // print(event.key.keyval)
+
return false;
}
},