Searched refs:undo_main_menu (Results 1 – 2 of 2) sorted by relevance
58 GtkWidget* undo_main_menu; member596 GtkWidget* undo_main_menu, in cssed_window_dynamic_widgets_set() argument605 CSSED_DYNWIDGETS(window)->undo_main_menu = undo_main_menu; in cssed_window_dynamic_widgets_set()630 gtk_widget_set_sensitive(CSSED_DYNWIDGETS(window)->undo_main_menu, TRUE); in cssed_window_enable_undo()638 gtk_widget_set_sensitive(CSSED_DYNWIDGETS(window)->undo_main_menu, FALSE); in cssed_window_disable_undo()
387 GtkWidget* undo_main_menu,