diff options
| author | raveit65 <[email protected]> | 2017-07-25 14:52:10 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-07-25 14:52:55 +0200 |
| commit | 25ffcf7a681be3c91c5d7cf26b6a60b709ff253a (patch) | |
| tree | 3f231f066fb9e19d0f970e6aec8ffd9ab3a923a6 /desktop-themes/Blue-Submarine/gtk-3.0 | |
| parent | cd24abc610c4ba32cbda0028ce6081d8f301446a (diff) | |
| download | mate-themes-25ffcf7a681be3c91c5d7cf26b6a60b709ff253a.tar.bz2 mate-themes-25ffcf7a681be3c91c5d7cf26b6a60b709ff253a.tar.xz | |
Gtk+-3.20 all themes: fix redraw issue with yelp
Displaying the scrollbar buttons on horizontal scrollbar in yelp
causes redraws. Disable the back/forward stepper fixes this.
Probably a issue with webkitgtk4 or yelp itself
Diffstat (limited to 'desktop-themes/Blue-Submarine/gtk-3.0')
| -rw-r--r-- | desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css b/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css index a90f6d70..887f6293 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css @@ -12,6 +12,21 @@ scrollbar { -GtkScrolledWindow-scrollbar-spacing: 0; } +/* workarround for broken yelp, w/o that yelp window have redraw issues + for displaying the horizontal scrollbar, + probably an issue with webkitgtk4 or yelp */ +scrollbar.horizontal { + -GtkScrollbar-has-backward-stepper: false; + -GtkScrollbar-has-forward-stepper: false; + +} +/* override for normal applications */ +scrolledwindow > scrollbar.horizontal { + -GtkScrollbar-has-backward-stepper: true; + -GtkScrollbar-has-forward-stepper: true; + +} + /* broken firefox ignore background of trough */ scrollbar.horizontal { background-image: -gtk-gradient (linear, left top, right top, |