diff options
author | raveit65 <[email protected]> | 2017-07-28 16:57:23 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-07-28 16:58:00 +0200 |
commit | 856bb4b40c9554110974f9aabc7aea1b8cccf776 (patch) | |
tree | ca49f4f17be113af4f7350c9dfe9fe97f10ac53f /desktop-themes | |
parent | 5923eed2cfce3d15529f43b3cee47787bf4b6ee7 (diff) | |
download | mate-themes-856bb4b40c9554110974f9aabc7aea1b8cccf776.tar.bz2 mate-themes-856bb4b40c9554110974f9aabc7aea1b8cccf776.tar.xz |
Gtk+-3.20 most themes: fix GtkScale slider mouse-selection if slider is out of range
Diffstat (limited to 'desktop-themes')
7 files changed, 36 insertions, 12 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css index 4a38a402..1c32edb9 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -682,11 +682,15 @@ scale.horizontal { }
scale.horizontal trough {
- min-height: 3px;
+ min-height: 3px;
+ margin-left: 8px;
+ margin-right: 8px;
}
scale.vertical trough {
- min-width: 3px;
+ min-width: 3px;
+ margin-top: 8px;
+ margin-bottom: 8px;
}
scale trough {
diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index 7c6b2920..844e383b 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -1028,13 +1028,16 @@ scale.horizontal trough { min-height: 3px; margin: 8px 0; border-radius: 6px; + margin-left: 8px; + margin-right: 8px; } -scale trough, scale.vertical trough { min-width: 3px; margin: 0 6px; border-radius: 6px; + margin-top: 8px; + margin-bottom: 8px; } scale trough, diff --git a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css index a41782c2..0fc79a5c 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/gtk-widgets.css @@ -685,11 +685,15 @@ scale.horizontal { }
scale.horizontal trough {
- min-height: 3px;
+ min-height: 3px;
+ margin-left: 8px;
+ margin-right: 8px;
}
scale.vertical trough {
- min-width: 3px;
+ min-width: 3px;
+ margin-top: 8px;
+ margin-bottom: 8px;
}
scale trough {
diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index 11a4c3bf..d5457341 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -1548,11 +1548,15 @@ scale.horizontal { } scale.horizontal trough { - min-height: 3px; + min-height: 3px; + margin-left: 8px; + margin-right: 8px; } scale.vertical trough { - min-width: 3px; + min-width: 3px; + margin-top: 8px; + margin-bottom: 8px; } scale trough { diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css index f03acfdd..b1a8840c 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -1028,13 +1028,16 @@ scale.horizontal trough { min-height: 3px; margin: 8px 0; border-radius: 6px; + margin-left: 8px; + margin-right: 8px; } -scale trough, scale.vertical trough { min-width: 3px; margin: 0 6px; border-radius: 6px; + margin-top: 8px; + margin-bottom: 8px; } scale trough, diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index 05fd2b84..58921f4c 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -683,18 +683,21 @@ scale.horizontal { } scale.horizontal trough { - min-height: 3px; + min-height: 3px; margin: 8px 0; + margin-left: 10px; + margin-right: 10px; } scale.horizontal.marks-after trough { min-height: 3px; } -scale trough, scale.vertical trough { min-width: 3px; margin: 0 6px; + margin-top: 10px; + margin-bottom: 10px; } scale trough { diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 4df9ef32..472afab9 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -684,18 +684,21 @@ scale.horizontal { } scale.horizontal trough { - min-height: 3px; + min-height: 3px; margin: 8px 0; + margin-left: 10px; + margin-right: 10px; } scale.horizontal.marks-after trough { min-height: 3px; } -scale trough, scale.vertical trough { min-width: 3px; margin: 0 6px; + margin-top: 10px; + margin-bottom: 10px; } scale trough { |