37 #include <boost/foreach.hpp> 50 PanelBar::PanelBar (
panel::Panel& owner_panel,
const gchar *stock_id)
53 , panelButton_(StockID(stock_id))
73 for (
int i = 0; i < PanelManager::getPanelDescriptionCount(); i++)
75 uString title = uString(PanelManager::getPanelTitle(i));
83 slot<void> func = bind(mem_fun(*
this,
96 list.push_back( Menu_Helpers::SeparatorElem() ); 107 lockItem_ = dynamic_cast<CheckMenuItem*>(&list.back()); 114 ORIENTATION_HORIZONTAL);
119 ORIENTATION_VERTICAL);
143 static bool is_locking =
false;
149 const bool lock = !
panel_.is_locked();
The global workspace with top-level windows.
Helper functions to work with rectangular screen ranges.
Management of dockable panels.
void splitPanel(panel::Panel &panel, Gtk::Orientation split_direction)
Splits a panel into two panels of the same type.
This header is for including and configuring NoBug.
void show(bool show=true)
Shows or hides the panel.
void lock(bool show=true)
Locks or unlocks the panel against modifications.
The base class for all dockable panels.
Base class and interface for all dockable panels.
Lumiera GTK UI implementation root.
workspace::PanelManager & getPanelManager()
This file contains the definition of the main workspace window parent, which is the toplevel parent o...
Custom container widget to allow placing toolbar buttons into the active docking header area of GDL d...
void switchPanel(panel::Panel &old_panel, const int description_index)
Switches a panel from one type to another, without touching the underlying GdlDockItem.