70 |
case KEY_F(2): |
case KEY_F(2): |
71 |
case KEY_F(3): |
case KEY_F(3): |
72 |
case KEY_F(4): |
case KEY_F(4): |
|
case KEY_F(5): |
|
73 |
case KEY_F(9): |
case KEY_F(9): |
74 |
case KEY_F(11): |
case KEY_F(11): |
75 |
case KEY_F(12): |
case KEY_F(12): |
76 |
break; |
break; |
77 |
/* previous buffer in window */ |
/* previous buffer in window */ |
78 |
case KEY_F(6): |
case KEY_F(5): |
79 |
gui_switch_to_previous_buffer (gui_current_window); |
gui_switch_to_previous_buffer (gui_current_window); |
80 |
break; |
break; |
81 |
/* next buffer in window */ |
/* next buffer in window */ |
82 |
case KEY_F(7): |
case KEY_F(6): |
83 |
gui_switch_to_next_buffer (gui_current_window); |
gui_switch_to_next_buffer (gui_current_window); |
84 |
break; |
break; |
85 |
|
/* previous window */ |
86 |
|
case KEY_F(7): |
87 |
|
gui_switch_to_previous_window (gui_current_window); |
88 |
|
break; |
89 |
/* next window */ |
/* next window */ |
90 |
case KEY_F(8): |
case KEY_F(8): |
91 |
gui_switch_to_next_window (gui_current_window); |
gui_switch_to_next_window (gui_current_window); |