src/gtkdebug.c

changeset 5818
59e4e52ad0cb
parent 5794
ebdbb7dc6658
child 5872
754c63f29b77
--- a/src/gtkdebug.c	Mon Jun 09 01:54:51 2003 +0000
+++ b/src/gtkdebug.c	Mon Jun 09 02:04:05 2003 +0000
@@ -77,7 +77,16 @@
 static void
 clear_cb(GtkWidget *w, DebugWindow *win)
 {
-	gtk_imhtml_clear(GTK_IMHTML(win->text));
+	GtkWidget *parent;
+
+	/* I HATE THIS! It's necessary though... Clearing a GtkTextView is SLOW. */
+	parent = gtk_widget_get_parent(win->text);
+
+	gtk_container_remove(GTK_CONTAINER(parent), win->text);
+
+	win->text = gtk_imhtml_new(NULL, NULL);
+	gtk_container_add(GTK_CONTAINER(parent), win->text);
+	gtk_widget_show(win->text);
 }
 
 static void

mercurial