32 using ctrl::UiManager;
36 : panelManager_(*this)
44 INFO (gui_dbg,
"Closing workspace window...");
60 add_accel_group (uiManager.get_accel_group());
67 set_default_size (1024, 768);
74 Gtk::Widget* menu_bar = uiManager.get_widget (
"/MenuBar");
75 REQUIRE (menu_bar !=
NULL);
86 statusBar_.set_resize_mode (Gtk::RESIZE_PARENT);
static string get(lib::Literal key)
The Lumiera UI framework and backbone object.
void updateWindowFocusRelatedActions()
A class to manage DockItem objects for WorkspaceWindow.
Gdl::Dock & getDock()
Gets a pointer to the dock object.
Gdl::DockBar & getDockBar()
Gets a pointer to the dock bar.
void setupDock()
Initialises this dock manager and creates the dock and all it's widgets.
PanelManager panelManager_
void createUI(ctrl::UiManager &uiManager)
Gtk::Statusbar statusBar_
WorkspaceWindow(ctrl::UiManager &)
PanelManager & getPanelManager()
Definition of access keys for global UI configuration.
A set of basic GTK includes for the UI.
This header is for including and configuring NoBug.
Lumiera GTK UI implementation root.
Management of dockable panels.
Manager for global user interface concerns, framework integration and global state.
This file contains the definition of the main workspace window parent, which is the toplevel parent o...