From 5eed949e2733cba511ee93f0b5f38acdc2cf23b0 Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@airwebreathe.org.uk>
Date: Thu, 16 Apr 2009 10:08:35 +0100
Subject: [PATCH] Bugfix: Panel popping out when shown because it's already
 visible

---
 src/gui/workspace/panel-manager.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gui/workspace/panel-manager.cpp b/src/gui/workspace/panel-manager.cpp
index 90ea1aa9f..357f91860 100644
--- a/src/gui/workspace/panel-manager.cpp
+++ b/src/gui/workspace/panel-manager.cpp
@@ -132,7 +132,8 @@ PanelManager::show_panel(const int description_index)
       panels::Panel* const panel = *i;
       if(get_panel_type(panel) == description_index)
         {
-          panel->show();
+          if(!panel->is_shown())
+            panel->show();
           
           GdlDockItem *dock_item = panel->get_dock_item();
           ENSURE(dock_item);