Searched refs:redo_pop_menu (Results 1 – 2 of 2) sorted by relevance
62 GtkWidget* redo_pop_menu; member600 GtkWidget* redo_pop_menu ) in cssed_window_dynamic_widgets_set() argument609 CSSED_DYNWIDGETS(window)->redo_pop_menu = redo_pop_menu; in cssed_window_dynamic_widgets_set()647 gtk_widget_set_sensitive(CSSED_DYNWIDGETS(window)->redo_pop_menu, TRUE); in cssed_window_enable_redo()655 gtk_widget_set_sensitive(CSSED_DYNWIDGETS(window)->redo_pop_menu, FALSE); in cssed_window_disable_redo()
391 GtkWidget* redo_pop_menu);