From 37a12d4248b3e63f9b47bff51efb0cbdd610f67e Mon Sep 17 00:00:00 2001 From: Dave Davenport <qball@gmpclient.org> Date: Thu, 6 Jul 2017 20:55:33 +0200 Subject: [PATCH] Fix test themes to match new conversion --- doc/default_theme.rasi | 17 ++++++++++++----- doc/old-theme-convert-output.rasi | 18 +++++++++++++----- 2 files changed, 25 insertions(+), 10 deletions(-) diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 23c33889..25eb35fa 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -51,11 +51,12 @@ } #window.mainbox.listview { fixed-height: 0; - border: 1px dash 0px 0px ; + border: 2px dash 0px 0px ; padding: 2px 0px 0px ; } #window.mainbox.listview.element { - border: 0; + border: 0; + padding: 1px ; } #window.mainbox.listview.element.normal.normal { foreground: @normal-foreground; @@ -94,11 +95,17 @@ background: @alternate-active-background; } #window.mainbox.listview.scrollbar { - border: 0; - padding: 0; + width: 4px ; + border: 0; + handle-width: 8px ; + padding: 0; +} +#window.mainbox.listview.box { + scrollbar: true; + spacing: 2px ; } #window.mainbox.sidebar.box { - border: 1px dash 0px 0px ; + border: 2px dash 0px 0px ; } #window.mainbox.sidebar.button.selected { foreground: @selected-normal-foreground; diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi index 3d03e77c..800c7669 100644 --- a/doc/old-theme-convert-output.rasi +++ b/doc/old-theme-convert-output.rasi @@ -51,11 +51,12 @@ } #window.mainbox.listview { fixed-height: 0; - border: 1px dash 0px 0px ; + border: 2px dash 0px 0px ; padding: 2px 0px 0px ; } #window.mainbox.listview.element { - border: 0; + border: 0; + padding: 1px ; } #window.mainbox.listview.element.normal.normal { foreground: @normal-foreground; @@ -94,11 +95,18 @@ background: @alternate-active-background; } #window.mainbox.listview.scrollbar { - border: 0; - padding: 0; + width: 4px ; + border: 0; + handle-width: 8px ; + padding: 0; +} +#window.mainbox.listview.box { + border: 2px 0px 0px ; + scrollbar: true; + spacing: 2px ; } #window.mainbox.sidebar.box { - border: 1px dash 0px 0px ; + border: 2px 0px 0px ; } #window.mainbox.sidebar.button.selected { foreground: @selected-normal-foreground;