gtkutil.h: Removed xg_ignore_next_thumb.

diff --git a/src/ChangeLog b/src/ChangeLog
index bf9b74b..dd1daec 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+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.

diff --git a/src/gtkutil.h b/src/gtkutil.h
index fd29ed5..2284ff6 100644 (file)
--- a/src/gtkutil.h
+++ b/src/gtkutil.h
@@ -198,11 +198,6 @@ extern void xg_initialize P_ ((void));
    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