Changeset 5145

Show
Ignore:
Timestamp:
08/06/08 09:02:22 (4 months ago)
Author:
matti.tahvonen@…
Message:

fixes #1951 (stylenames in FF)

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/src/com/itmill/toolkit/terminal/gwt/client/ui/IWindow.java

    r5115 r5145  
    143143 
    144144    protected void constructDOM() { 
     145        setStyleName(CLASSNAME); 
     146 
    145147        header = DOM.createDiv(); 
    146148        DOM.setElementProperty(header, "className", CLASSNAME + "-outerheader"); 
     
    178180        DOM.appendChild(wrapper, wrapper2); 
    179181        DOM.appendChild(super.getContainerElement(), wrapper); 
    180         DOM.setElementProperty(getElement(), "className", CLASSNAME); 
    181182 
    182183        sinkEvents(Event.MOUSEEVENTS); 
    183184 
    184185        setWidget(contentPanel); 
     186 
    185187    } 
    186188