src/gtkimhtml.h

changeset 10799
69ccc5c5518c
parent 10798
d1aae5d8adb2
child 10814
7e17cb56b019
--- a/src/gtkimhtml.h	Fri Apr 08 22:44:02 2005 +0000
+++ b/src/gtkimhtml.h	Sat Apr 09 01:24:28 2005 +0000
@@ -89,6 +89,7 @@
 	GtkWidget *tip_window;
 	char *tip;
 	guint tip_timer;
+	GtkTextTag *prelit_tag;
 
 	GList *scalables;
 	GdkRectangle old_rect;

mercurial