Searched refs:jed_menu_do_key (Results 1 – 7 of 7) sorted by relevance
21 extern SLang_Key_Type *jed_menu_do_key (void);
598 key = jed_menu_do_key (); in do_key()
1827 SLang_Key_Type *jed_menu_do_key (void) in jed_menu_do_key() function
2825 jed_menu_do_key (void) in jed_menu_do_key() function
14 extern SLang_Key_Type *jed_menu_do_key (void);
523 key = jed_menu_do_key (); in do_key()
1576 SLang_Key_Type *jed_menu_do_key (void) in jed_menu_do_key() function