--- a/src/eric7/ViewManager/ViewManager.py Mon Apr 08 17:02:11 2024 +0200 +++ b/src/eric7/ViewManager/ViewManager.py Tue Apr 09 14:27:03 2024 +0200 @@ -5745,6 +5745,20 @@ return editor + @pyqtSlot(str, int, int) + def openSourceFileLinePos(self, fn, lineno, pos): + """ + Public slot to display a file in an editor at a given line and position. + + @param fn name of file to be opened + @type str + @param lineno line number to place the cursor at + @type int + @param pos position within line to position cursor at + @type int + """ + self.openSourceFile(fn, lineno=lineno, pos=pos + 1) + def __connectEditor(self, editor): """ Private method to establish all editor connections.