/** * Common TextColorer creation constructor. Creates TextColorer object, which is to be attached to * the StyledText widget. * * @param pf Parser factory, used to create all coloring text parsers. * @param cm Color Manager, used to store cached color objects */ public TextColorer(ParserFactory pf, ColorManager cm) { this.pf = pf; this.cm = cm; setFullBackground(false); setCross(false, false); baseEditor = new BaseEditorNative( pf, new LineSource() { public String getLine(int lno) { if (text.getContent().getLineCount() <= lno) return null; String line = text.getContent().getLine(lno); return line; } }); baseEditor.setRegionCompact(true); }