TabSet header size

[lorez]

We needed the header of TabSet component to be hidden/shown.
It can help someone =)

This method has no effect:

tabs.setTabBarThickness(1);

So after 3 hours of code investigation the solution was found:

public static native void jsSetTabBarHeight(JavaScriptObject tabSet, int size)
/*-{
    if(tabSet.getTabBar){
        var tb = tabSet.getTabBar();
    	tb.setHeight(size);
    }
}-*/;

call:

jsSetTabBarHeight(tabs.getJsObj(), 1);