controls/LogViewer.py
changeset 1737 a39c2918c015
parent 1736 7e61baa047f0
child 1740 b789b695b5c6
equal deleted inserted replaced
1736:7e61baa047f0 1737:a39c2918c015
    58         self.Bind(wx.EVT_MOTION, self.OnMotion)
    58         self.Bind(wx.EVT_MOTION, self.OnMotion)
    59         self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBackground)
    59         self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBackground)
    60         self.Bind(wx.EVT_PAINT, self.OnPaint)
    60         self.Bind(wx.EVT_PAINT, self.OnPaint)
    61         self.Bind(wx.EVT_SIZE, self.OnResize)
    61         self.Bind(wx.EVT_SIZE, self.OnResize)
    62 
    62 
    63         self.ThumbPosition = 0. # -1 <= ThumbPosition <= 1
    63         self.ThumbPosition = 0.  # -1 <= ThumbPosition <= 1
    64         self.ThumbScrollingStartPos = None
    64         self.ThumbScrollingStartPos = None
    65 
    65 
    66     def GetRangeRect(self):
    66     def GetRangeRect(self):
    67         width, height = self.GetClientSize()
    67         width, height = self.GetClientSize()
    68         return wx.Rect(0, width, width, height - 2 * width)
    68         return wx.Rect(0, width, width, height - 2 * width)