| 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); |
| } |
