benn/lumiera_documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Allowed show_panel to lift a panel to view if it's hidden

Browse source
This commit is contained in:
Joel Holdsworth 2009-04-15 18:27:07 +01:00
parent 4165474900
commit 08fd135a98
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/gui/workspace/panel-manager.cpp
View file

@ -123,6 +123,20 @@ PanelManager::get_workspace_window()
void
PanelManager::show_panel(const int description_index)
{
// Try and find the panel and present it if possible
list< boost::shared_ptr<panels::Panel> >::iterator i;
for(i = panels.begin(); i != panels.end(); i++)
{
const shared_ptr<panels::Panel> panel = *i;
if(get_panel_type(panel.get()) == description_index)
{
GdlDockItem *dock_item = panel->get_dock_item();
ENSURE(dock_item);
gdl_dock_object_present(GDL_DOCK_OBJECT(dock_item), NULL);
return;
}
}
// Create the new panel
shared_ptr<panels::Panel> new_panel =
create_panel_by_index(description_index);