# HG changeset patch # User Andrey Skvortsov # Date 1479991023 -10800 # Node ID 6df9937f130b0f2677b0b4f2d4620b86d9a67ca0 # Parent de2da05089ea6292cf19f3193f933c0d93af3b4d increase size for time buttons in LogViewer The buttons are slightly bigger now. This gives more space for label translations in other languages. closes #12 diff -r de2da05089ea -r 6df9937f130b controls/LogViewer.py --- a/controls/LogViewer.py Thu Nov 24 13:17:06 2016 +0300 +++ b/controls/LogViewer.py Thu Nov 24 15:37:03 2016 +0300 @@ -177,7 +177,7 @@ dc.EndDrawing() event.Skip() -BUTTON_SIZE = (30, 15) +BUTTON_SIZE = (70, 15) class LogButton():