Changeset 3030

Timestamp:

11/29/07 07:35:35 (12 months ago)

Author:

matti.tahvonen@…

Message:

fixes #1091

Files:

• trunk/src/com/itmill/toolkit/terminal/gwt/client/ui/IWindow.java (modified) (5 diffs)

trunk/src/com/itmill/toolkit/terminal/gwt/client/ui/IWindow.java

@@ -100 +100 @@
     private boolean modal = false;
 
+    private Element headerText;
+
     public IWindow() {
         super();
@@ -138 +140 @@
 
     protected void constructDOM() {
-        Element outerHeader = DOM.createDiv();
-        DOM.setElementProperty(outerHeader, "className", CLASSNAME
-                + "-outerheader");
         header = DOM.createDiv();
-        DOM.setElementProperty(header, "className", CLASSNAME + "-header");
+        DOM.setElementProperty(header, "className", CLASSNAME + "-outerheader");
+        headerText = DOM.createDiv();
+        DOM.setElementProperty(headerText, "className", CLASSNAME + "-header");
         contents = DOM.createDiv();
         DOM.setElementProperty(contents, "className", CLASSNAME + "-contents");
@@ -168 +169 @@
 
         DOM.appendChild(wrapper2, closeBox);
-        DOM.appendChild(wrapper2, outerHeader);
-        DOM.appendChild(outerHeader, header);
+        DOM.appendChild(wrapper2, header);
+        DOM.appendChild(header, headerText);
         DOM.appendChild(wrapper2, contents);
         DOM.appendChild(wrapper2, footer);
@@ -327 +328 @@
 
     public void setCaption(String c) {
-        DOM.setInnerText(header, c);
+        DOM.setInnerText(headerText, c);
     }
 
@@ -348 +349 @@
         }
         Element target = DOM.eventGetTarget(event);
-        if (dragging || DOM.compare(header, target)) {
+        if (dragging || DOM.isOrHasChild(header, target)) {
             onHeaderEvent(event);
             DOM.eventCancelBubble(event, true);