Set completion box to null after destroying it.
authorDaniel Carl <danielcarl@gmx.de>
Sat, 10 Nov 2012 14:45:22 +0000 (15:45 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Sat, 10 Nov 2012 14:45:22 +0000 (15:45 +0100)
src/completion.c

index af76213..166e173 100644 (file)
@@ -81,6 +81,7 @@ void completion_clean(void)
 
     if (vp.gui.compbox) {
         gtk_widget_destroy(vp.gui.compbox);
+        vp.gui.compbox = NULL;
     }
     vp.comps.completions = NULL;
     vp.comps.active = NULL;