Changeset 4991

Timestamp:

07/01/08 08:12:26 (5 months ago)

Author:

marc.englund@…

Message:

For #1859 "error messages overflow popup"; made tooltip maxwidth wider, overflow:auto, and added the possibility to mouseover the tooltip in order to scroll or cut&paste.

Location:

trunk

Files:

• WebContent/ITMILL/themes/default/caption/caption.css (modified) (1 diff)
• WebContent/ITMILL/themes/default/styles.css (modified) (1 diff)
• src/com/itmill/toolkit/terminal/gwt/client/Tooltip.java (modified) (4 diffs)

trunk/WebContent/ITMILL/themes/default/caption/caption.css

@@ -36 +36 @@
         background-color: #FFE0E0;
         border: 1px solid #FFB0B0;
+        overflow: auto;
 }

trunk/WebContent/ITMILL/themes/default/styles.css

@@ -100 +100 @@
         background-color: #FFE0E0;
         border: 1px solid #FFB0B0;
+        overflow: auto;
 }
 /* body tag created by servlet */

trunk/src/com/itmill/toolkit/terminal/gwt/client/Tooltip.java

@@ -21 +21 @@
             | Event.ONMOUSEOVER | Event.ONMOUSEOUT | Event.ONMOUSEMOVE
             | Event.ONCLICK;
-    protected static final int MAX_WIDTH = 280;
+    protected static final int MAX_WIDTH = 500;
     ErrorMessage em = new ErrorMessage();
     Element description = DOM.createDiv();
     private Paintable tooltipOwner;
-    private boolean closing;
-    private boolean opening;
+    private boolean closing = false;
+    private boolean opening = false;
     private ApplicationConnection ac;
 
@@ -80 +80 @@
 
                     setPopupPosition(x, y);
+                    sinkEvents(Event.ONMOUSEOVER | Event.ONMOUSEOUT);
                 }
             });
@@ -136 +137 @@
         }
         closeTimer.schedule(300);
+        closing = true;
     }
 
@@ -163 +165 @@
     }
 
+    public void onBrowserEvent(Event event) {
+        final int type = DOM.eventGetType(event);
+        // cancel closing event if tooltip is mouseovered; the user might want
+        // to scroll of cut&paste
+
+        switch (type) {
+        case Event.ONMOUSEOVER:
+            closeTimer.cancel();
+            closing = false;
+            break;
+        case Event.ONMOUSEOUT:
+            hideTooltip();
+            break;
+        default:
+            // NOP
+        }
+    }
+
 }