--- a/ViewManager/ViewManager.py Fri Jan 13 18:30:27 2012 +0100 +++ b/ViewManager/ViewManager.py Sat Jan 14 15:10:25 2012 +0100 @@ -3651,7 +3651,7 @@ self.__setSbFile() - def openSourceFile(self, fn, lineno=None, filetype="", + def openSourceFile(self, fn, lineno=-1, filetype="", selStart=0, selEnd=0, pos=0): """ Public slot to display a file in an editor. @@ -3671,12 +3671,12 @@ self._modificationStatusChanged(editor.isModified(), editor) self._checkActions(editor) - if lineno is not None and lineno >= 0: + if lineno >= 0: editor.ensureVisibleTop(lineno) editor.gotoLine(lineno, pos) - - if selStart != selEnd: - editor.setSelection(lineno - 1, selStart, lineno - 1, selEnd) + + if selStart != selEnd: + editor.setSelection(lineno - 1, selStart, lineno - 1, selEnd) # insert filename into list of recently opened files self.addToRecentList(fn)