Searched defs:undo_menu (Results 1 – 3 of 3) sorted by path
49 static GtkWidget *undo_menu, *redo_menu; variable
98 IteM undo_menu; member
768 void undo_menu(int n) in undo_menu() function