Package editor

Class EditorHost.LabHighlighter

java.lang.Object
editor.EditorHost.LabHighlighter
All Implemented Interfaces:
Highlighter.HighlightPainter
Enclosing class:
EditorHost

public static class EditorHost.LabHighlighter extends Object implements Highlighter.HighlightPainter