Uses of Class
gate.gui.TabHighlighter

Packages that use TabHighlighter
gate.gui   
 

Uses of TabHighlighter in gate.gui
 

Fields in gate.gui declared as TabHighlighter
(package private)  TabHighlighter MainFrame.logHighlighter