diff options
author | raveit65 <[email protected]> | 2017-07-28 16:57:23 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-07-28 16:58:22 +0200 |
commit | 273b5140eedc0a817a537d211bb57c1ff6b6b00b (patch) | |
tree | 76ac12b82106f38f73cbf4ca8b81923e239e7f5a | |
parent | 25ffcf7a681be3c91c5d7cf26b6a60b709ff253a (diff) | |
download | mate-themes-273b5140eedc0a817a537d211bb57c1ff6b6b00b.tar.bz2 mate-themes-273b5140eedc0a817a537d211bb57c1ff6b6b00b.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 78ed6755..d8ddfb43 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 245683c2..3b5d013b 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 661a876a..fc8a6fa0 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 58ca6442..fc4ec5ca 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 dbba6b50..7d967578 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 { |