gridTabSet.addTab(adminsTab); gridTabSet.setTabBarPosition(Side.LEFT); gridTabSet.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness);
setWidth100(); this.getPanel().setTabBarThickness(1);
widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); tab.setPane(widgetTabset);
widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); extraTab.setPane(widgetTabset);
widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); widgetTabset.setDefaultTabHeight(DeskmanagerLayout.subTabDefaultHeight); tab.setPane(widgetTabset);
widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); Tab tab = new Tab(MESSAGES.geodeskDetailTabWidgets()); tab.setPane(widgetTabset);