diff options
| author | raveit65 <[email protected]> | 2016-07-01 15:00:28 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-01 15:02:11 +0200 |
| commit | 9b6cd516e0ff7a62eafb6edcf6641df2cb9ddbc2 (patch) | |
| tree | 90bb91f641017caf7b9ec8cd857a4dca21edfdb3 /desktop-themes/TraditionalOk | |
| parent | 83eceefc680ec1a4a78e16c48542840d9d6e3b82 (diff) | |
| download | mate-themes-9b6cd516e0ff7a62eafb6edcf6641df2cb9ddbc2.tar.bz2 mate-themes-9b6cd516e0ff7a62eafb6edcf6641df2cb9ddbc2.tar.xz | |
GTK+-3.20 most themes: fix text selection in atril
Diffstat (limited to 'desktop-themes/TraditionalOk')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk.css | 2 | ||||
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css | 11 |
2 files changed, 13 insertions, 0 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk.css index f7b55589..8fc7253c 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk.css @@ -56,6 +56,8 @@ @define-color internal_element_hover_color @theme_text_color; @define-color internal_element_insensitive_color @insensitive_fg_color; +@define-color theme_unfocused_bg_color @theme_bg_color; + /* border */ @define-color border_color shade(@core_color_b, 0.67); diff --git a/desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css b/desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css index a2df4d03..70a29c64 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css @@ -385,6 +385,17 @@ EggToolbarEditor.vertical scrolledwindow { border-style: solid; } +/* broken text selection */ +.atril-window scrolledwindow.frame > widget:selected { + background-color: @theme_selected_bg_color; + color: @theme_selected_fg_color; +} + +.atril-window scrolledwindow.frame > widget:active { + background-color: shade(@theme_unfocused_bg_color, 0.94); + color: @theme_fg_color; +} + .lock-dialog { border-radius: 4px; border-style: solid; |