diff -r d1a603a70f83 -r 9becf9ca115c src/eric7/UI/SymbolsWidget.py
--- a/src/eric7/UI/SymbolsWidget.py Tue Apr 23 09:29:13 2024 +0200
+++ b/src/eric7/UI/SymbolsWidget.py Tue Apr 23 11:26:04 2024 +0200
@@ -737,13 +737,13 @@
Preferences.getSettings().setValue("Symbols/CurrentTable", index)
@pyqtSlot(QModelIndex, QModelIndex)
- def __currentRowChanged(self, current, previous):
+ def __currentRowChanged(self, current, _previous):
"""
Private slot recording the currently selected row.
@param current current index
@type QModelIndex
- @param previous previous current index
+ @param _previous previous current index (unused)
@type QModelIndex
"""
Preferences.getSettings().setValue("Symbols/Top", current.row())
