E5Gui/E5SideBar.py

changeset 6187
2cc7e3629784
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
diff -r 83451f10f3eb -r 2cc7e3629784 E5Gui/E5SideBar.py
--- a/E5Gui/E5SideBar.py	Mon Mar 12 19:49:46 2018 +0100
+++ b/E5Gui/E5SideBar.py	Mon Mar 12 19:57:16 2018 +0100
@@ -617,7 +617,7 @@
         self.__maxSize = max(stream.readUInt16(), maxSize)
         count = stream.readUInt16()
         self.splitterSizes = []
-        for i in range(count):
+        for _ in range(count):
             self.splitterSizes.append(stream.readUInt16())
         
         self.__autoHide = stream.readBool()

eric ide

mercurial