150 |
|
|
151 |
extern int xg_update_frame_menubar P_ ((FRAME_PTR f)); |
extern int xg_update_frame_menubar P_ ((FRAME_PTR f)); |
152 |
|
|
153 |
extern void xg_keep_popup P_ ((GtkWidget *menu, GtkWidget *submenu)); |
extern int xg_have_tear_offs P_ ((void)); |
154 |
|
|
155 |
extern int xg_get_scroll_id_for_window P_ ((Window wid)); |
extern int xg_get_scroll_id_for_window P_ ((Window wid)); |
156 |
|
|
201 |
to indicate that the callback should do nothing. */ |
to indicate that the callback should do nothing. */ |
202 |
extern int xg_ignore_gtk_scrollbar; |
extern int xg_ignore_gtk_scrollbar; |
203 |
|
|
|
/* 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 |
|
|
have been detached. */ |
|
|
extern GtkWidget *xg_did_tearoff; |
|
|
|
|
204 |
#endif /* USE_GTK */ |
#endif /* USE_GTK */ |
205 |
#endif /* GTKUTIL_H */ |
#endif /* GTKUTIL_H */ |
206 |
|
|