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

[disorder] / disobedience / disobedience.c

diff --git a/disobedience/disobedience.c b/disobedience/disobedience.c
index b1c801f97b570e8d583cf57f1cbb913a09ee417f..5acadf894e10d22f287039f9f274dfbdb757fdb0 100644 (file)
--- a/disobedience/disobedience.c
+++ b/disobedience/disobedience.c
@@ -125,6 +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");
+  assert(t != 0);
   if(t->selected)
     t->selected();
 }