257258259260261262263264265266267
storeCurrentTabSelection(descriptor.getLabel()); if (tab != currentTab) { showTab(tab); } tab.refresh(); } tabbedPropertyComposite.getTabComposite().layout(true); currentTab = tab; resizeScrolledComposite();