168169170171172173174175176177178
// No more automatic restarts because // key events will restart the parser from now on. _parserTimer.setRepeats(false); _parserThread.setParsingFinishedListener(new ParsingFinishedListener() { public void parsingFinished() { onParsingFinished(); }