Fix edit menu (and simplify its implementation a bit).

[disorder] / disobedience / disobedience.c

diff --git a/disobedience/disobedience.c b/disobedience/disobedience.c
index b9866f7936407311facc11e24760862afe4f2142..5acadf894e10d22f287039f9f274dfbdb757fdb0 100644 (file)
--- a/disobedience/disobedience.c
+++ b/disobedience/disobedience.c
@@ -125,7 +125,7 @@ static void tab_switched(GtkNotebook *notebook,
   menu_update(page_num);
   GtkWidget *const tab = gtk_notebook_get_nth_page(notebook, page_num);
   const struct tabtype *const t = g_object_get_data(G_OBJECT(tab), "type");
-  if(!t) return;                        /* TODO */
+  assert(t != 0);
   if(t->selected)
     t->selected();
 }