gtk-theme-clearcodes

commit

869fcd4819a3ad49ae37cdc99358a0dc5293abd1

parent

46b94ccba2d269c71f3f9680d8c201a1e0e5657c

Author

Tobias Bengfort <tobias.bengfort@posteo.de>

Date

2022-06-23 08:00

use button styling for scale slider

Diffstat

2 files changed, 11 insertions, 8 deletions

diff --git a/gtk-3.0/widgets/button.css b/gtk-3.0/widgets/button.css

@@ -1,5 +1,6 @@
    1     1 button,
    2    -1 switch slider {
   -1     2 switch slider,
   -1     3 scale slider {
    3     4     border-radius: 3px;
    4     5     padding: 0.5em;
    5     6     border-width: 1px;
@@ -18,7 +19,9 @@ button.flat {
   18    19 button:hover,
   19    20 button:focus,
   20    21 switch:hover slider,
   21    -1 switch:focus slider {
   -1    22 switch:focus slider,
   -1    23 scale:hover slider,
   -1    24 scale:focus slider {
   22    25     background-image: linear-gradient(to bottom,
   23    26         @button_bg_color,
   24    27         @button_bg_color 40%,
@@ -42,7 +45,8 @@ button:checked {
   42    45 }
   43    46 
   44    47 button:disabled,
   45    -1 switch:disabled slider {
   -1    48 switch:disabled slider,
   -1    49 scale:disabled slider {
   46    50     background: @bg_color;
   47    51     color: @fg_color;
   48    52 }

diff --git a/gtk-3.0/widgets/scale.css b/gtk-3.0/widgets/scale.css

@@ -15,11 +15,10 @@ scale highlight {
   15    15 
   16    16 scale slider {
   17    17     border-radius: 50%;
   18    -1     min-width: 14px;
   19    -1     min-height: 14px;
   20    -1     border: 1px solid @border_color;
   21    -1     background: @base_color;
   22    -1     margin: -7px;
   -1    18     padding: 0;
   -1    19     min-width: 12px;
   -1    20     min-height: 12px;
   -1    21     margin: -6px;
   23    22 }
   24    23 
   25    24 scale slider:disabled {