Set edit menu sensitivity when it is shown rather than when we change tab.

[disorder] / disobedience / disobedience.h

diff --git a/disobedience/disobedience.h b/disobedience/disobedience.h
index 21f3bf6088ba5646b66d1302373e876a5624a7eb..faf7597c3d30bdb128db17527e369b8710f55f67 100644 (file)
--- a/disobedience/disobedience.h
+++ b/disobedience/disobedience.h
@@ -90,9 +90,12 @@ struct tabtype {
   int (*properties_sensitive)(void *extra);
   int (*selectall_sensitive)(void *extra);
   int (*selectnone_sensitive)(void *extra);
-  void (*properties_activate)(void *extra);
-  void (*selectall_activate)(void *extra);
-  void (*selectnone_activate)(void *extra);
+  void (*properties_activate)(GtkMenuItem *menuitem,
+                              gpointer user_data);
+  void (*selectall_activate)(GtkMenuItem *menuitem,
+                             gpointer user_data);
+  void (*selectnone_activate)(GtkMenuItem *menuitem,
+                              gpointer user_data);
   void (*selected)(void);
   void *extra;
 };
@@ -177,10 +180,6 @@ void all_update(void);
 
 GtkWidget *menubar(GtkWidget *w);
 /* Create the menu bar */
-     
-void menu_update(int page);
-/* Called whenever the main menu might need to change.  PAGE is the current
- * page if known or -1 otherwise. */
 
 void users_set_sensitive(int sensitive);