comparison: src/gtkimhtml.h
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; |
