lib/browser/GraphBrowser/ParseError.java

basic support for sub/superscript token markup -- NB: need to maintain extended token types eagerly, since jEdit occasionally reinstalls a style array that is too short;

package GraphBrowser;

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