# HG changeset patch
# User Jan Dj¸«£rv <jan.h.d@swipnet.se>
# Date 1048009725 0
# Node ID 334078c4c044da6c64376de8a943243d864f9cbf
# Parent  8c92ccc7b6dd4d014757f6264ccbd92b2935730c
gtkutil.h: Removed xg_ignore_next_thumb.

diff -r 8c92ccc7b6dd -r 334078c4c044 src/ChangeLog
--- a/src/ChangeLog	Tue Mar 18 09:41:39 2003 +0000
+++ b/src/ChangeLog	Tue Mar 18 17:48:45 2003 +0000
@@ -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 -r 8c92ccc7b6dd -r 334078c4c044 src/gtkutil.h
--- a/src/gtkutil.h	Tue Mar 18 09:41:39 2003 +0000
+++ b/src/gtkutil.h	Tue Mar 18 17:48:45 2003 +0000
@@ -198,11 +198,6 @@
    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