src/Builder4/WindowRooView.vala
{
"listeners" : {
"button_release_event" : "() => {\n\tthis.onCursorChanged();\n\n\treturn false;\n}",
{
"listeners" : {
"button_release_event" : "() => {\n\tthis.onCursorChanged();\n\n\treturn false;\n}",
- "key_press_event" : "() {\n\tthis.updateGreySelection();\n\n}"
+ "key_press_event" : "() => {\n\tthis.onCursorChanged();\n\treturn false;\n}"
},
"gboolean show_line_marks" : true,
"id" : "sourceview",
},
"gboolean show_line_marks" : true,
"id" : "sourceview",
- this.el.key_press_event.connect( () {
- this.updateGreySelection();
-
+ this.el.key_press_event.connect( () => {
+ this.onCursorChanged();
+ return false;