Bug 239300 [TabbedProperties] underline missing from tab label when tab has focus
bundles/org.eclipse.ui.views.properties.tabbed/src/org/eclipse/ui/internal/views/properties/tabbed/view/TabbedPropertyList.java
extends Composite {
	private static final ListElement[] ELEMENTS_EMPTY = new ListElement[0];
	protected static final int NONE = -1;
	protected static final int INDENT = 7;
	private ListElement[] elements;
	private int selectedElementIndex = NONE;
	private int topVisibleIndex = NONE;
	private int bottomVisibleIndex = NONE;
	private TopNavigationElement topNavigationElement;
	private BottomNavigationElement bottomNavigationElement;
	private int widestLabelIndex = NONE;