198 |
to indicate that the callback should do nothing. */ |
to indicate that the callback should do nothing. */ |
199 |
extern int xg_ignore_gtk_scrollbar; |
extern int xg_ignore_gtk_scrollbar; |
200 |
|
|
|
/* 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; |
|
|
|
|
201 |
/* If a detach of a menu is done, this is the menu widget that got |
/* If a detach of a menu is done, this is the menu widget that got |
202 |
detached. Must be set to NULL before popping up popup menus. |
detached. Must be set to NULL before popping up popup menus. |
203 |
Used with xg_keep_popup to delay deleting popup menus when they |
Used with xg_keep_popup to delay deleting popup menus when they |