From 55176fb70fab8bbe93c3a49841cf445f38b18f5c Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@airwebreathe.org.uk>
Date: Tue, 14 Apr 2009 23:43:17 +0100
Subject: [PATCH] Fixed a bug in panel locking

---
 src/gui/widgets/panel-bar.cpp | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/gui/widgets/panel-bar.cpp b/src/gui/widgets/panel-bar.cpp
index 777b2a149..76f33c239 100644
--- a/src/gui/widgets/panel-bar.cpp
+++ b/src/gui/widgets/panel-bar.cpp
@@ -150,10 +150,20 @@ PanelBar::on_hide()
 void
 PanelBar::on_lock()
 {
+  static bool is_locking = false;
+ 
   REQUIRE(lockItem);
-  const bool lock = !panel.is_locked();
-  panel.lock(lock);
-  lockItem->set_active(lock);
+  
+  if(!is_locking)
+    {
+      is_locking = true;
+      
+      const bool lock = !panel.is_locked();
+      panel.lock(lock);
+      lockItem->set_active(lock);
+      
+      is_locking = false;
+    }
 }
 
 } // widgets