diff -r d1a603a70f83 -r 9becf9ca115c src/eric7/ViewManager/ViewManager.py
--- 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)
