public MultiFeatureListGrid(MapWidget map) { super(); this.map = map; tabset = new TabSet(); tabset.setWidth100(); tabset.setHeight100(); tabset.setOverflow(Overflow.HIDDEN); tabset.addCloseClickHandler(new CloseClickHandler() { public void onCloseClick(TabCloseClickEvent event) { setEmpty((tabset.getTabs().length == 1)); } }); this.addChild(tabset); empty = new Label(MESSAGES.multiFeatureListGridNoData()); empty.setWidth100(); empty.setAlign(Alignment.CENTER); empty.setPadding(15); this.addChild(empty); }
tabset.setWidth100(); tabset.setHeight100(); tabset.setOverflow(Overflow.HIDDEN); widgetTabset.setWidth100(); widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); tab.setPane(widgetTabset);
tabset.setWidth100(); tabset.setHeight100(); tabset.setOverflow(Overflow.HIDDEN); widgetTabset.setWidth100(); widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); extraTab.setPane(widgetTabset);
tabset.setWidth100(); tabset.setHeight100(); tabset.setOverflow(Overflow.HIDDEN); widgetTabset.setWidth100(); widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); widgetTabset.setDefaultTabHeight(DeskmanagerLayout.subTabDefaultHeight);
this.getPanel().setWidth100(); this.getPanel().setHeight100(); this.getPanel().setOverflow(Overflow.HIDDEN);
widgetTabset.setWidth100(); widgetTabset.setHeight100(); widgetTabset.setOverflow(Overflow.HIDDEN); widgetTabset.setTabBarThickness(DeskmanagerLayout.tabBarLeftThickness); Tab tab = new Tab(MESSAGES.geodeskDetailTabWidgets());