From 856bb4b40c9554110974f9aabc7aea1b8cccf776 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Fri, 28 Jul 2017 16:57:23 +0200 Subject: Gtk+-3.20 most themes: fix GtkScale slider mouse-selection if slider is out of range --- desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'desktop-themes/TraditionalOk/gtk-3.0') 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 { -- cgit v1.2.1