Uses of Class
gate.gui.TabHighlighter

No usage of gate.gui.TabHighlighter