diff options
| author | Jan Djärv <jan.h.d@swipnet.se> | 2003-03-18 17:48:45 +0000 |
|---|---|---|
| committer | Jan Djärv <jan.h.d@swipnet.se> | 2003-03-18 17:48:45 +0000 |
| commit | 19536747baeb7cf048302f53f2800ee788161594 (patch) | |
| tree | e6abec3cd858b8abb8ee45f76eb5e050d8dabcf2 /src/gtkutil.h | |
| parent | f39864ec14892d9114ec9e66b802f1a37e0264e7 (diff) | |
| download | emacs-19536747baeb7cf048302f53f2800ee788161594.tar.gz | |
gtkutil.h: Removed xg_ignore_next_thumb.
Diffstat (limited to 'src/gtkutil.h')
| -rw-r--r-- | src/gtkutil.h | 5 |
1 files changed, 0 insertions, 5 deletions
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 |