diff options
author | raveit65 <[email protected]> | 2017-07-28 16:57:23 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-07-28 16:57:23 +0200 |
commit | 3cdb63bfe1a1615d040480584f316b30190e3912 (patch) | |
tree | e43bdc5502121ff367368e6f23c6ba18413b1751 | |
parent | c6524047d2313ca39316616c2f4a8115f8cb75c9 (diff) | |
download | mate-themes-3cdb63bfe1a1615d040480584f316b30190e3912.tar.bz2 mate-themes-3cdb63bfe1a1615d040480584f316b30190e3912.tar.xz |
Gtk+-3.20 most themes: fix GtkScale slider mouse-selection if slider is out of range
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 { |