src/gtkimhtml.h

changeset 10799
69ccc5c5518c
parent 10798
d1aae5d8adb2
child 10814
7e17cb56b019
equal deleted inserted replaced
10798:d1aae5d8adb2 10799:69ccc5c5518c
87 gboolean show_comments; 87 gboolean show_comments;
88 88
89 GtkWidget *tip_window; 89 GtkWidget *tip_window;
90 char *tip; 90 char *tip;
91 guint tip_timer; 91 guint tip_timer;
92 GtkTextTag *prelit_tag;
92 93
93 GList *scalables; 94 GList *scalables;
94 GdkRectangle old_rect; 95 GdkRectangle old_rect;
95 96
96 gchar *search_string; 97 gchar *search_string;

mercurial