int main () { | |
key_press_event.connect ((e) => { | |
switch (e.keyval) { | |
case Gdk.Key.@0: | |
if ((e.state & Gdk.ModifierType.CONTROL_MASK) != 0) { | |
action_zoom_default_font (); | |
return true; | |
} | |
break; | |
case Gdk.Key.@1: //alt+[1-8] | |
case Gdk.Key.@7: | |
case Gdk.Key.@8: | |
if (((e.state & Gdk.ModifierType.MOD1_MASK) != 0) && settings.alt_changes_tab) { | |
var i = e.keyval - 49; | |
if (i > notebook.n_tabs - 1) | |
return false; | |
notebook.current = notebook.get_tab_by_index ((int) i); | |
return true; | |
} | |
break; | |
default: | |
assert_not_reached () ; | |
} | |
return false; | |
}); | |
return 0 ; | |
} |