Show
Ignore:
Timestamp:
10/08/08 10:12:19 (3 months ago)
Author:
jouni.koivuviita@…
Message:

Backported a fix from trunk: fixes the infamous disappearing caret bug in Firefox 2.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • branches/5.2/src/com/itmill/toolkit/terminal/gwt/client/ui/ITabsheetPanel.java

    r5448 r5611  
    3535     *  
    3636     * @param w 
    37      *                the widget to be added 
     37     *            the widget to be added 
    3838     */ 
     39    @Override 
    3940    public void add(Widget w) { 
    4041        Element el = createContainerElement(); 
    … …  
    6566     *  
    6667     * @param w 
    67      *                the widget to be inserted 
     68     *            the widget to be inserted 
    6869     * @param beforeIndex 
    69      *                the index before which it will be inserted 
     70     *            the index before which it will be inserted 
    7071     * @throws IndexOutOfBoundsException 
    71      *                 if <code>beforeIndex</code> is out of range 
     72     *             if <code>beforeIndex</code> is out of range 
    7273     */ 
    7374    public void insert(Widget w, int beforeIndex) { 
    … …  
    7778    } 
    7879 
     80    @Override 
    7981    public boolean remove(Widget w) { 
    8082        final int index = getWidgetIndex(w); 
    … …  
    9698     *  
    9799     * @param index 
    98      *                the index of the widget to be shown 
     100     *            the index of the widget to be shown 
    99101     */ 
    100102    public void showWidget(int index) { 
    … …  
    113115     * Gets only called with 100% or "" 
    114116     */ 
     117    @Override 
    115118    public void setHeight(String height) { 
    116119        super.setHeight(height); 
    … …  
    140143        DOM.setStyleAttribute(e, "visibility", "hidden"); 
    141144        DOM.setStyleAttribute(e, "position", "absolute"); 
    142         DOM.setStyleAttribute(e, "top", "0px"); 
     145        DOM.setStyleAttribute(e, "top", "-100000px"); // Fixes FF2 caret bug 
    143146        DOM.setStyleAttribute(e, "left", "0px"); 
    144147    }