--- a/src/eric7/EricWidgets/EricSideBar.py	Mon Apr 22 13:20:16 2024 +0200
+++ b/src/eric7/EricWidgets/EricSideBar.py	Mon Apr 22 15:15:36 2024 +0200
@@ -75,10 +75,6 @@
         self.__minSize = 0
         self.__bigSize = QSize()
 
-        self.__hasFocus = False
-        # flag storing if this widget or any child has the focus
-        self.__autoHide = False
-
         self.__orientation = EricSideBarSide.NORTH
         if orientation is None:
             orientation = EricSideBarSide.NORTH