Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
protected
TabHighlighter
MainFrame.
logHighlighter
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes