From c9e256aeb0770127be8d95e346ae539603bfdccf Mon Sep 17 00:00:00 2001 From: DYefremov Date: Sun, 8 Aug 2021 13:45:44 +0300 Subject: [PATCH] minor style changes of the control panel --- app/ui/control.glade | 8 ++++---- app/ui/style.css | 9 ++++++++- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/app/ui/control.glade b/app/ui/control.glade index cdedfbd2..5cb74bf5 100644 --- a/app/ui/control.glade +++ b/app/ui/control.glade @@ -328,7 +328,7 @@ Author: Dmitriy Yefremov True False - user-trash + user-trash-symbolic True @@ -391,8 +391,8 @@ Author: Dmitriy Yefremov False center center - 10 - 10 + 5 + 5 5 10 stack @@ -1781,7 +1781,7 @@ audio-volume-medium-symbolic True True - tools-check-spelling + edit-find-replace-symbolic False False Filter diff --git a/app/ui/style.css b/app/ui/style.css index abc4996f..e5953042 100644 --- a/app/ui/style.css +++ b/app/ui/style.css @@ -55,4 +55,11 @@ paned > separator { border-radius: 0; border-left-width: 0; border-right-width: 1px; -} \ No newline at end of file +} + +.stack-switcher > button { + padding-left: 0.5em; + padding-right: 0.5em; + min-width: 5em; + min-height: 1.5em; +}