Changeset 4944

Show
Ignore:
Timestamp:
06/24/08 12:02:24 (5 months ago)
Author:
marc.englund@…
Message:

"Tab scrolling" now works in "all" browsers, fixes #1770

Location:
trunk
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/WebContent/ITMILL/themes/default/tabsheet/tabsheet.css

    r4739 r4944  
    2323        white-space: nowrap; 
    2424        text-align: right; 
    25         height: 1px; 
     25        margin-top: -37px; 
    2626} 
    2727 
    … …  
    3030        border: none; 
    3131        width: 12px; 
    32         height: 37px; 
    33         margin-top: 11px; 
     32        height: 38px; 
    3433        opacity: 0.9999; 
     34        margin-top: -1px; 
    3535} 
    3636.i-tabsheet-scrollerPrev-disabled, 
    … …  
    3838        border: none; 
    3939        width: 12px; 
    40         height: 37px; 
    41         margin-top: 11px; 
     40        height: 38px; 
     41        margin-top: -1px; 
    4242        opacity: 0.9999; 
    4343} 

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

    r4740 r4944  
    9797        DOM.setElementProperty(tabs, "className", TABS_CLASSNAME); 
    9898        scroller = DOM.createDiv(); 
    99         DOM.appendChild(tabs, scroller); 
     99 
    100100        DOM.setElementProperty(scroller, "className", SCROLLER_CLASSNAME); 
    101101        scrollerPrev = DOM.createButton(); 
    … …  
    131131        add(tp, contentNode); 
    132132        DOM.appendChild(getElement(), deco); 
     133 
     134        DOM.appendChild(tabs, scroller); 
    133135 
    134136        tb.addTabListener(tl);