gtkutil.h: Removed xg_ignore_next_thumb.

2 files changed, 4 insertions, 5 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index bf9b74b1a56..dd1daeccbf9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2003-03-18  Jan Dj,Ad(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 fd29ed573e3..2284ff6e113 100644
--- 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