From fcc83423484a5679251819809ce373bc9261c443 Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Mon, 2 Feb 2009 11:21:45 +0000
Subject: [PATCH] fixes #2510

svn changeset:6700/svn branch:trunk
---
 .../terminal/gwt/client/ui/ISplitPanel.java   | 27 ++++++++++++-------
 1 file changed, 18 insertions(+), 9 deletions(-)

diff --git a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
index c267035e1a..7a0cc981cb 100644
--- a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
+++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
@@ -58,7 +58,7 @@ public class ISplitPanel extends ComplexPanel implements Container,
 
     private int origMouseY;
 
-    private boolean locked;
+    private boolean locked = false;
 
     private String splitterStyleName;
 
@@ -155,13 +155,7 @@ public class ISplitPanel extends ComplexPanel implements Container,
             return;
         }
 
-        locked = uidl.hasAttribute("locked");
-        if (locked) {
-            DOM.setElementProperty(splitter, "className", splitterStyleName
-                    + "-locked");
-        } else {
-            DOM.setElementProperty(splitter, "className", splitterStyleName);
-        }
+        setLocked(uidl.getBooleanAttribute("locked"));
 
         setSplitPosition(uidl.getStringAttribute("position"));
 
@@ -198,6 +192,21 @@ public class ISplitPanel extends ComplexPanel implements Container,
 
     }
 
+    private void setLocked(boolean newValue) {
+        if (locked != newValue) {
+            locked = newValue;
+            if (locked) {
+                DOM.setElementProperty(splitter, "className", splitterStyleName
+                        + "-locked");
+            } else {
+                DOM
+                        .setElementProperty(splitter, "className",
+                                splitterStyleName);
+            }
+            splitterSize = -1;
+        }
+    }
+
     private void setSplitPosition(String pos) {
         if (orientation == ORIENTATION_HORIZONTAL) {
             DOM.setStyleAttribute(splitter, "left", pos);
@@ -439,7 +448,7 @@ public class ISplitPanel extends ComplexPanel implements Container,
         }
     }
 
-    private static int splitterSize = -1;
+    private int splitterSize = -1;
 
     private int getSplitterSize() {
         if (splitterSize < 0) {
-- 
2.39.5