gate.gui
Class TabHighlighter
java.lang.Object
gate.gui.TabHighlighter
public class TabHighlighter
- extends Object
Highligts a tab in a JTabbedPane. Removes the highlight automatically when
the highlighted tab is selected.
Method Summary |
void |
highlight()
Highlights the tab unless is selected |
void |
removeHighlight()
Restores the tab to the normal colour |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TabHighlighter
public TabHighlighter(JTabbedPane pane,
Component comp,
Color highlightColour)
highlight
public void highlight()
- Highlights the tab unless is selected
removeHighlight
public void removeHighlight()
- Restores the tab to the normal colour