| changeset 1576 | 6df9937f130b |
| parent 1571 | 486f94a8032c |
| child 1672 | 9298ba0cd70a |
| 1575:de2da05089ea | 1576:6df9937f130b |
|---|---|
175 thumb_rect.width, thumb_rect.height) |
175 thumb_rect.width, thumb_rect.height) |
176 |
176 |
177 dc.EndDrawing() |
177 dc.EndDrawing() |
178 event.Skip() |
178 event.Skip() |
179 |
179 |
180 BUTTON_SIZE = (30, 15) |
180 BUTTON_SIZE = (70, 15) |
181 |
181 |
182 class LogButton(): |
182 class LogButton(): |
183 |
183 |
184 def __init__(self, label, callback): |
184 def __init__(self, label, callback): |
185 self.Position = wx.Point(0, 0) |
185 self.Position = wx.Point(0, 0) |