lib/browser/GraphBrowser/ParseError.java

explicit "hidden" operation with focus management;
explicit popup_font;
just one option jedit_popup_font_scale for tooltip and completion;

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}