Searched refs:jed_notify_menu_buffer_changed (Results 1 – 9 of 9) sorted by relevance
23 extern void jed_notify_menu_buffer_changed (void);
689 jed_notify_menu_buffer_changed (); in do_jed()734 jed_notify_menu_buffer_changed (); in jed()756 jed_notify_menu_buffer_changed (); in jed()
446 jed_notify_menu_buffer_changed (); in read_from_minibuffer_1()
874 jed_notify_menu_buffer_changed (); in create_minibuffer()
1884 void jed_notify_menu_buffer_changed (void) in jed_notify_menu_buffer_changed() function
2913 void jed_notify_menu_buffer_changed (void) in jed_notify_menu_buffer_changed() function
16 extern void jed_notify_menu_buffer_changed (void);
584 jed_notify_menu_buffer_changed (); in do_jed()597 jed_notify_menu_buffer_changed (); in jed()622 jed_notify_menu_buffer_changed (); in jed()
1634 void jed_notify_menu_buffer_changed (void) in jed_notify_menu_buffer_changed() function