chiark / gitweb /
Some more Disobedience work
[disorder] / disobedience / disobedience.h
index 8ce1601942d26be3921ac77e166fd5d488968250..a80486358c1676455b464c9f396d38ca4225fb27 100644 (file)
@@ -166,6 +166,7 @@ void all_update(void);
 
 GtkWidget *menubar(GtkWidget *w);
 /* Create the menu bar */
+int full_mode;
 
 void users_set_sensitive(int sensitive);