Vertical tab height problem in IE9

[kobold27]

Hi,
The problems occurs only in IE9, not in FF18 or chrome. Using 3.1p of 14/02

The height of the tab is too big (With text, image and text/image)

Problem is visible on the showcase at: http://www.smartclient.com/smartgwt/showcase/#featured_vertical_tabs

For now, i bypass the problem by supplying my own set of image:

           preferencesTabSet = new TabSet();
            preferencesTabSet.setTabBarPosition(Side.LEFT);
            preferencesTabSet.setTabBarAlign(Side.TOP);
            preferencesTabSet.setWidth100();
            preferencesTabSet.setHeight100();
            preferencesTabSet.setPaneContainerOverflow(Overflow.VISIBLE);
            preferencesTabSet.setOverflow(Overflow.VISIBLE);
            preferencesTabSet.setTabBarThickness(170);

            tab.setAttribute("skinImgDir", "../../../../images/Tab/left/");

Also, the vertical scroller image is stretched, i provided my own with:

customLayout.setScrollerVSrc("Tab/scroller.png");

Richard