mParseTreeModel.setParseTree(parseTree);
mCurrentFile = aFile;
mLastDirectory = aFile.getParentFile();
reloadAction.setEnabled(true);
final String[] sourceLines = text.toLinesArray();
// clear for each new file
getLines2position().clear();
// starts line counting at 1
getLines2position().add(0);