--- a/src/eric7/ViewManager/ViewManager.py Tue Apr 23 09:29:13 2024 +0200 +++ b/src/eric7/ViewManager/ViewManager.py Tue Apr 23 11:26:04 2024 +0200 @@ -5720,7 +5720,7 @@ self._modificationStatusChanged(editor.isModified(), editor) self._checkActions(editor) - cline, cindex = editor.getCursorPosition() + cline, _cindex = editor.getCursorPosition() cline += 1 if isinstance(lineno, list): if len(lineno) > 1: @@ -5892,7 +5892,7 @@ self.openSourceFile(fn, line) self.setFileLine(fn, line) - def setFileLine(self, fn, line, error=False, syntaxError=False): + def setFileLine(self, fn, line, error=False): """ Public method to update the user interface when the current program or line changes. @@ -5903,8 +5903,6 @@ @type int @param error flag indicating an error highlight @type bool - @param syntaxError flag indicating a syntax error - @type bool """ try: newWin, self.currentEditor = self.getEditor(fn) @@ -5918,7 +5916,7 @@ self.__setSbFile(fn, line, encoding=enc, language=lang, eol=eol, zoom=zoom) # Change the highlighted line. - self.currentEditor.highlight(line, error, syntaxError) + self.currentEditor.highlight(line=line, error=error) self.currentEditor.highlightVisible() self._checkActions(self.currentEditor, False)