[tin 1.7.x] 'M'enu option by number fix
Urs Janßen <[email protected]>
| Newsgroups | gmane.network.tin.devel |
|---|---|
| Message-ID | <[email protected]> |
--- keymap.c 2005-06-20 11:31:56.000000000 +0200
+++ keymap.c 2005-06-22 14:55:50.236230211 +0200
@@ -2425,6 +2425,15 @@
add_default_key(&info_keys, '\\', GLOBAL_SEARCH_REPEAT);
/* options menu */
+ add_default_key(&option_menu_keys, '1', DIGIT_1);
+ add_default_key(&option_menu_keys, '2', DIGIT_2);
+ add_default_key(&option_menu_keys, '3', DIGIT_3);
+ add_default_key(&option_menu_keys, '4', DIGIT_4);
+ add_default_key(&option_menu_keys, '5', DIGIT_5);
+ add_default_key(&option_menu_keys, '6', DIGIT_6);
+ add_default_key(&option_menu_keys, '7', DIGIT_7);
+ add_default_key(&option_menu_keys, '8', DIGIT_8);
+ add_default_key(&option_menu_keys, '9', DIGIT_9);
add_default_key(&option_menu_keys, ctrl('B'), GLOBAL_PAGE_UP);
add_default_key(&option_menu_keys, ctrl('D'), GLOBAL_PAGE_DOWN);
add_default_key(&option_menu_keys, ctrl('F'), GLOBAL_PAGE_DOWN);