diff options
Diffstat (limited to 'gui/theme.py')
| -rw-r--r-- | gui/theme.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gui/theme.py b/gui/theme.py index 02add23..20537aa 100644 --- a/gui/theme.py +++ b/gui/theme.py @@ -98,10 +98,6 @@ COLOR_TAB_TEXT = COLOR_WHITE zoom = style.zoom -PAGE_HEIGHT = style.zoom(635) # don't ask -TABS_HEIGHT = style.zoom(480) # 465 450 -PREVIEW_HEIGHT = style.zoom(519) # 564 - PADDING_TAB = style.zoom(6) DEFAULT_PADDING = style.zoom(6) DEFAULT_SPACING = style.zoom(8) |