/** * This property defines the number tab buttons that should be shown before automatically adding a "more" button to handle * the remaining tabs. This property is only used when {@link com.smartgwt.client.widgets.tab.TabSet#getShowMoreTab * showMoreTab} is enabled. * * * @return int */ public int getMoreTabCount() { return getAttributeAsInt("moreTabCount"); }
/** * Size in pixels of the icon for closing tabs, displayed when {@link * com.smartgwt.client.widgets.tab.TabSet#getCanCloseTabs canCloseTabs} is true. * * * @return int */ public int getCloseTabIconSize() { return getAttributeAsInt("closeTabIconSize"); }
/** * If {@link com.smartgwt.client.widgets.tab.TabSet#getShowTabPicker showTabPicker} is true, this property governs the size * of tab-picker button. Applied as the width of buttons if the tabBar is horizontal, or the height if tabBar is vertical. * Note that the other dimension is determined by {@link com.smartgwt.client.widgets.tab.TabSet#getTabBarThickness * this.tabBarThickness} * * * @return int */ public int getPickerButtonSize() { return getAttributeAsInt("pickerButtonSize"); }
/** * Thickness of tabBar, applies to either orientation (specifies height for horizontal, width for vertical orientation). * Note that overriding this value for TabSets that are skinned with images generally means providing new media for the * borders. * * * @return int */ public int getTabBarThickness() { return getAttributeAsInt("tabBarThickness"); }
/** * If set, offsets the tab title editor further in from the right-hand edge of the tab, by the number of pixels set in this * property. Note that the editor is always offset to avoid overlapping the endcaps of the tab; this property is applied * on top of that default offset. * * * @return Integer * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorLeftOffset * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorTopOffset */ public Integer getTitleEditorRightOffset() { return getAttributeAsInt("titleEditorRightOffset"); }
/** * Space to leave around the panes in our paneContainer * * * @return int */ public int getPaneMargin() { return getAttributeAsInt("paneMargin"); }
/** * If {@link com.smartgwt.client.widgets.tab.TabSet#getShowTabScroller showTabScroller} is true, this property governs the * size of scroller buttons. Applied as the width of buttons if the tabBar is horizontal, or the height if tabBar is * vertical. Note that the other dimension is determined by {@link * com.smartgwt.client.widgets.tab.TabSet#getTabBarThickness this.tabBarThickness} * * * @return int */ public int getScrollerButtonSize() { return getAttributeAsInt("scrollerButtonSize"); }
/** * If set, offsets the tab title editor further in from the left-hand edge of the tab, by the number of pixels set in this * property. Note that the editor is always offset to avoid overlapping the endcaps of the tab; this property is applied * on top of that default offset. * * * @return Integer * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorRightOffset * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorTopOffset */ public Integer getTitleEditorLeftOffset() { return getAttributeAsInt("titleEditorLeftOffset"); }
/** * If set, offsets the tab title editor further down from the top edge of the tab, by the number of pixels set in this * property. You can use this property, together with the left and right offset properties, to fine tune positioning of * the editor within or around the tab button.<p> <b>Note:</b> The height of the editor is an attribute of the editor * itself, and can be set by specifying a "height" property in {@link com.smartgwt.client.widgets.tab.TabSet#getTitleEditor * titleEditorDefaults}. * * * @return Integer * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorLeftOffset * @see com.smartgwt.client.widgets.tab.TabSet#getTitleEditorRightOffset */ public Integer getTitleEditorTopOffset() { return getAttributeAsInt("titleEditorTopOffset"); }