235236237238239240241242243244245246247
if (DEBUG) { System.out.println("Available parsers:" + this.parsers.size()); } } else { //otherwise, just set its new input IPyEdit pyEdit = lst.get(0); IDocument doc = pyEdit.getDocument(); parser.setDocument(doc, pyEdit.getEditorInput()); } } } }