summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalOk
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2016-07-01 15:00:28 +0200
committerraveit65 <[email protected]>2016-07-01 15:01:46 +0200
commitdf1c86322b7e3b547dc8d151f97a7bcfbf439f33 (patch)
tree8f41a636f6d5b303fa32971d2795c8985e70a444 /desktop-themes/TraditionalOk
parentfa9fc8e80491598b013f38c619abccbb418c8305 (diff)
downloadmate-themes-df1c86322b7e3b547dc8d151f97a7bcfbf439f33.tar.bz2
mate-themes-df1c86322b7e3b547dc8d151f97a7bcfbf439f33.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.css2
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/mate-applications.css11
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 45378e5d..f2dbab0c 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;