+2003-03-18 Jan Dj\e,Ad\e(Brv <jan.h.d@swipnet.se>
+
+ * gtkutil.h: Removed xg_ignore_next_thumb.
+
2003-03-18 Kenichi Handa <handa@etlken2>
* coding.c (Vchar_coding_system_table): Remove this variable.
to indicate that the callback should do nothing. */
extern int xg_ignore_gtk_scrollbar;
-/* After we send a scroll bar event, x_set_toolkit_scroll_bar_thumb will
- be called. For some reason that needs to be debugged, it gets called
- with bad values. Thus, we set this variable to ignore those calls. */
-extern int xg_ignore_next_thumb;
-
/* If a detach of a menu is done, this is the menu widget that got
detached. Must be set to NULL before popping up popup menus.
Used with xg_keep_popup to delay deleting popup menus when they