Changeset 4950

Timestamp:

06/24/08 15:28:38 (5 months ago)

Author:

marc.englund@…

Message:

More for #1770; tabscrolling buttons clipped in some instances.

Files:

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

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

@@ -326 +326 @@
      */
     private void updateTabScroller() {
-
-        DOM.setStyleAttribute(tabs, "width", getOffsetWidth() + "px");
-
+        if (width != null) {
+            DOM.setStyleAttribute(tabs, "width", width);
+        }
         if (scrollerIndex > tb.getTabCount()) {
             scrollerIndex = 0;
@@ -335 +335 @@
         boolean clipped = isClippedTabs();
         if (tb.isVisible() && (scrolled || clipped)) {
-            DOM.setStyleAttribute(scrollerNext, "display", "");
-            DOM.setStyleAttribute(scrollerPrev, "display", "");
+            DOM.setStyleAttribute(scroller, "display", "");
             DOM.setElementProperty(scrollerPrev, "className",
                     SCROLLER_CLASSNAME + (scrolled ? "Prev" : "Prev-disabled"));
@@ -342 +341 @@
                     SCROLLER_CLASSNAME + (clipped ? "Next" : "Next-disabled"));
         } else {
-            DOM.setStyleAttribute(scrollerNext, "display", "none");
-            DOM.setStyleAttribute(scrollerPrev, "display", "none");
+            DOM.setStyleAttribute(scroller, "display", "none");
         }