G_BEGIN_DECLS
+
GtkUIManager *gl_ui_new (glWindow *window);
void gl_ui_unref (GtkUIManager *ui);
glLabel *label);
void gl_ui_update_selection_verbs (GtkUIManager *ui,
- glView *view);
+ glView *view,
+ gboolean has_focus);
void gl_ui_update_zoom_verbs (GtkUIManager *ui,
glView *view);