Searched refs:set_buffer_menu_bar_cmd (Results 1 – 3 of 3) sorted by relevance
1798 static void set_buffer_menu_bar_cmd (char *name) in set_buffer_menu_bar_cmd() function1979 MAKE_INTRINSIC_S("menu_use_menu_bar", set_buffer_menu_bar_cmd, VOID_TYPE),
2070 static void set_buffer_menu_bar_cmd (char *name) in set_buffer_menu_bar_cmd() function2444 MAKE_INTRINSIC_S("menu_use_menu_bar", set_buffer_menu_bar_cmd, VOID_TYPE),
3186 set_buffer_menu_bar_cmd (char *name) in set_buffer_menu_bar_cmd() function4352 MAKE_INTRINSIC_S( "menu_use_menu_bar", set_buffer_menu_bar_cmd, VOID_TYPE ),4452 set_buffer_menu_bar_cmd( "Global" ); in jgtk_initMenubarStruct()