32 using ctrl::UiManager;
35 WorkspaceWindow::WorkspaceWindow (UiManager& uiManager)
36 : panelManager_(*this)
42 WorkspaceWindow::~WorkspaceWindow()
44 INFO (gui_dbg,
"Closing workspace window...");
50 WorkspaceWindow::getPanelManager()
57 WorkspaceWindow::createUI (UiManager& uiManager)
59 signal_show ().connect_notify(mem_fun(uiManager, &UiManager::updateWindowFocusRelatedActions));
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);
76 baseContainer_.pack_start(*menu_bar, Gtk::PACK_SHRINK);
79 panelManager_.setupDock();
80 dockContainer_.pack_start (panelManager_.getDockBar(),
false,
false,0);
81 dockContainer_.pack_start (panelManager_.getDock(),
true,
true,0);
82 baseContainer_.pack_start (dockContainer_, Gtk::PACK_EXPAND_WIDGET);
86 statusBar_.set_resize_mode (Gtk::RESIZE_PARENT);
87 baseContainer_.pack_start (statusBar_, Gtk::PACK_SHRINK);
Definition of access keys for global UI configuration.
Management of dockable panels.
This header is for including and configuring NoBug.
static string get(lib::Literal key)
Manager for global user interface concerns, framework integration and global state.
Lumiera GTK UI implementation root.
This file contains the definition of the main workspace window parent, which is the toplevel parent o...
A set of basic GTK includes for the UI.