More careful about compact mode transition detection

diff --git a/disobedience/menu.c b/disobedience/menu.c
index fc4662dfbcee1708c7b74137a97440d7eb218c76..f54fe4a17e9bfef78eb4fd3f7c5ced0507f8e93d 100644 (file)
--- a/disobedience/menu.c
+++ b/disobedience/menu.c
@@ -446,8 +446,11 @@ GtkWidget *menubar(GtkWidget *w) {
 
 static void toggled_minimode(GtkCheckMenuItem  *item,
                              gpointer attribute((unused)) userdata) {
-  full_mode = !gtk_check_menu_item_get_active(item);
-  event_raise("mini-mode-changed", NULL);
+  int new_full_mode = !gtk_check_menu_item_get_active(item);
+  if(full_mode != new_full_mode) {
+    full_mode = new_full_mode;
+    event_raise("mini-mode-changed", NULL);
+  }
 }
 
 /*