private int getTabWidth(ITabItem tabItem) { int width = getTextDimension(tabItem.getText()).x; if (tabItem.getImage() != null) { width = width + 16 + 4; if (tabItem.isIndented()) { width = width + INDENT;
for (int i = 0; i < tabItems.length; i++) { TabDescriptor cloneTabDescriptor = (TabDescriptor) target.clone(); cloneTabDescriptor.setLabel(tabItems[i].getText()); cloneTabDescriptor.setImage(tabItems[i].getImage()); cloneTabDescriptor.setIndented(tabItems[i].isIndented()); cloneTabDescriptor.setSelected(tabItems[i].isSelected()); overrideTabDescriptors[i] = cloneTabDescriptor;
if (dynamicTabItems[i].isSelected()) { selectedTabIndex = i; dynamicTabItems[selectedTabIndex].getText())) { TabDescriptor newSelectedTab = (TabDescriptor) tabbedPropertyViewer .getElementAt(selectedTabIndex);
@Override public String toString() { return tab.getText(); } }
@Override public void getName(AccessibleEvent e) { if (getSelectionIndex() != NONE) { e.result = elements[getSelectionIndex()].getTabItem() .getText(); } }
e.gc.setBackground(listBackground); e.gc.fillRectangle(0, 2, bounds.width, bounds.height - 1); } else if (hover && tab.isIndented()) { e.gc.setBackground(indentedHoverBackground); e.gc.fillRectangle(0, 2, bounds.width - 1, bounds.height - 1); e.gc.fillGradientRectangle(0, 2, bounds.width - 1, bounds.height - 1, true); } else if (tab.isIndented()) { e.gc.setBackground(indentedDefaultBackground); e.gc.fillRectangle(0, 2, bounds.width - 1, bounds.height - 1); if (selected && tab.getImage() != null && !tab.getImage().isDisposed()) { if (tab.isIndented()) { textIndent = textIndent + INDENT; } else { textIndent = textIndent - 3; e.gc.drawImage(tab.getImage(), textIndent, textMiddle - 1); textIndent = textIndent + 16 + 4; } else if (tab.isIndented()) { textIndent = textIndent + INDENT; e.gc.drawText(tab.getText(), textIndent, textMiddle, true); if (((TabbedPropertyList) getParent()).focus && selected) { Point point = e.gc.textExtent(tab.getText());
@Override public void getHelp(AccessibleEvent e) { if (getSelectionIndex() != NONE) { e.result = elements[getSelectionIndex()].getTabItem() .getText(); } } });