diff options
author | Jouni Koivuviita <jouni.koivuviita@itmill.com> | 2010-04-08 10:47:31 +0000 |
---|---|---|
committer | Jouni Koivuviita <jouni.koivuviita@itmill.com> | 2010-04-08 10:47:31 +0000 |
commit | 847830a1e22f6d90fab1735e7287ee4fe62c7221 (patch) | |
tree | 7b7c742a67824cfa0b00d5d03b409859296dc233 /src/com | |
parent | b3510e3bd466385f472e209f68142fb88ffbc465 (diff) | |
download | vaadin-framework-847830a1e22f6d90fab1735e7287ee4fe62c7221.tar.gz vaadin-framework-847830a1e22f6d90fab1735e7287ee4fe62c7221.zip |
Fixed VTabsheet to allow more precise styling of the tab scroller, when additional style names are present, and one wishes to override the default look of the scroller.
svn changeset:12382/svn branch:6.3
Diffstat (limited to 'src/com')
-rw-r--r-- | src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java b/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java index ae312c203a..71bcda4e28 100644 --- a/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java +++ b/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java @@ -540,21 +540,26 @@ public class VTabsheet extends VTabsheetBase { if (currentStyle != style) { currentStyle = style; final String[] styles = style.split(" "); + final String tabsBaseClass = TABS_CLASSNAME; + String tabsClass = tabsBaseClass; final String contentBaseClass = CLASSNAME + "-content"; String contentClass = contentBaseClass; final String decoBaseClass = CLASSNAME + "-deco"; String decoClass = decoBaseClass; for (int i = 0; i < styles.length; i++) { tb.addStyleDependentName(styles[i]); + tabsClass += " " + tabsBaseClass + "-" + styles[i]; contentClass += " " + contentBaseClass + "-" + styles[i]; decoClass += " " + decoBaseClass + "-" + styles[i]; } + DOM.setElementProperty(tabs, "className", tabsClass); DOM.setElementProperty(contentNode, "className", contentClass); DOM.setElementProperty(deco, "className", decoClass); borderW = -1; } } else { tb.setStyleName(CLASSNAME + "-tabs"); + DOM.setElementProperty(tabs, "className", TABS_CLASSNAME); DOM.setElementProperty(contentNode, "className", CLASSNAME + "-content"); DOM.setElementProperty(deco, "className", CLASSNAME + "-deco"); |