controls/LogViewer.py
changeset 1737 a39c2918c015
parent 1736 7e61baa047f0
child 1740 b789b695b5c6
--- a/controls/LogViewer.py	Mon Aug 14 23:27:15 2017 +0300
+++ b/controls/LogViewer.py	Mon Aug 14 23:34:22 2017 +0300
@@ -60,7 +60,7 @@
         self.Bind(wx.EVT_PAINT, self.OnPaint)
         self.Bind(wx.EVT_SIZE, self.OnResize)
 
-        self.ThumbPosition = 0. # -1 <= ThumbPosition <= 1
+        self.ThumbPosition = 0.  # -1 <= ThumbPosition <= 1
         self.ThumbScrollingStartPos = None
 
     def GetRangeRect(self):