--- a/src/eric7/UI/SymbolsWidget.py	Thu May 25 11:12:05 2023 +0200
+++ b/src/eric7/UI/SymbolsWidget.py	Thu May 25 19:51:47 2023 +0200
@@ -591,6 +591,7 @@
 
         Preferences.getSettings().setValue("Symbols/CurrentTable", index)
 
+    @pyqtSlot(QModelIndex, QModelIndex)
     def __currentRowChanged(self, current, previous):
         """
         Private slot recording the currently selected row.