Attachment 936353 Details for Bug 1140423 – MATE-Desktop-themes - changes related to gtk+-3.13.[3-7]

[patch] MATE-Desktop-themes - changes related to gtk+-3.13.[3-7]

MATE-Desktop-themes-Changes-related-to-gtk+-3.13.[3-7].patch (text/plain), 42.13 KB, created by poma on 2014-09-11 00:00:36 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: poma

Created: 2014-09-11 00:00:36 UTC

Size: 42.13 KB

patch

obsolete

>
>Changes probably related to:
>
>- http://ftp.gnome.org/pub/gnome/sources/gtk+/3.13/gtk+-3.13.3.news
>  Overview of Changes in GTK+ 3.13.2 to 3.13.3
>  ============================================
>
>  ...
>  * Theming:
>   - Use client-side shadows for menus and tooltips
>
>- http://ftp.gnome.org/pub/GNOME/sources/gtk+/3.13/gtk+-3.13.7.news
>  Overview of Changes in GTK+ 3.13.6 to 3.13.7
>  ============================================
>
>  * To align better with css, button and menuitem subclasses now use a
>    :checked state to indicate their checkedness, instead of :active or
>    :selected.
>
>---
> desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css   | 102 ++++++++++++-----
> desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css   |  96 ++++++++++++----
> .../ContrastHigh/gtk-3.0/gtk-widgets.css           | 121 +++++++++++++--------
> desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css |  95 ++++++++++++----
> desktop-themes/Menta/gtk-3.0/gtk-widgets.css       |  97 +++++++++++++----
> desktop-themes/Shiny/gtk-3.0/gtk-widgets.css       |  90 +++++++++++----
> .../TraditionalGreen/gtk-3.0/gtk-widgets.css       | 101 ++++++++++++-----
> .../TraditionalOk/gtk-3.0/gtk-widgets.css          | 101 ++++++++++++-----
> .../TraditionalOkTest/gtk-3.0/gtk-widgets.css      | 101 ++++++++++++-----
> 9 files changed, 671 insertions(+), 233 deletions(-)
>
>diff --git a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
>index fc83903..fc9d06e 100644
>--- a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
>@@ -2061,6 +2061,12 @@ GtkProgressBar.osd.progressbar {
> 	color: #747473;
> }
>  
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
>     border-color: @theme_bg_color;
>     border-radius: 7px 7px 0 0;
>@@ -2069,9 +2075,10 @@ GtkProgressBar.osd.progressbar {
>     background-color: @theme_bg_color;
>     box-shadow: 0 0 0 2px @osd_button_shadow, 0 2px 8px 3px @osd_button_shadow;
> 
>-    /* this is used for the resize cursor area */
>+ * this is used for the resize cursor area
>     margin: 10px;
> }
>+*/
> 
> /****************************
>  * Suggested action buttons *
>@@ -2337,32 +2344,73 @@ GtkColorSwatch.color-dark:selected:hover {
> 	background-image: none;
> }
> 
>-/***************************
>- * Radio and Check Buttons *
>- ***************************/
>-.radio,
>-.check,
>-.radio:selected, 
>-.check:selected,
>-.radio:selected:focus, 
>-.check:selected:focus,
>-.cell.radio,
>-.cell.check,
>-.cell.radio:selected, 
>-.cell.check:selected,
>-.cell.radio:selected:focus, 
>-.cell.check:selected:focus {
>-	background-color: transparent;
>-	border-width: 0px;
>-	border-style: none;
>-}
>-
>-.check:hover,
>-.check:selected:hover,
>-.radio:hover,
>-.radio:selected:hover {
>-	background-color: transparent;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /*****************
>  * GtkCheckButton *
>diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css
>index a2b00f1..e73823e 100644
>--- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css
>@@ -2220,24 +2220,73 @@ GtkMenuButton .menu {
> 	text-shadow: none;
> }
> 
>-/****************
>- * Radiobuttons *
>- ****************/
>-
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-	background-color: transparent;
>-	border-style: none;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-	background-color: transparent;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /************
>  * Toolbars *
>@@ -3671,13 +3720,19 @@ GtkModelButton.button:selected {
> 	icon-shadow: none;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
> 	border-radius: 6px 6px 0 0;
>-	/* lamefun trick to get rounded borders regardless of CSD use */
>+ * lamefun trick to get rounded borders regardless of CSD use
> 	border-width: 0px;	
> 	box-shadow: 0 0 0 1px @wm_border, 0 2px 8px 3px @wm_shadow;
> 
>-	/* this is used for the resize cursor area */
>+ * this is used for the resize cursor area
> 	margin: 10px;
> }
> 
>@@ -3689,4 +3744,5 @@ GtkModelButton.button:selected {
> .window-frame:backdrop {
> 	box-shadow: 0 0 0 1px shade(@wm_border,1.1), 0 2px 5px 1px @wm_shadow;
> }
>+*/
> 
>diff --git a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
>index 1c9bb5c..2fee4e6 100644
>--- a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
>@@ -1004,53 +1004,73 @@ column-header:first-child .button {
>     border-left-width: 0;
> }
> 
>-/*******************
>- * Checks & Radios *
>- *******************/
>-.check,
>-.radio {
>-    border-width: 1px;
>-    border-style: solid;
>-    border-color: @theme_check_radio_border;
>-    color: @theme_active_color;
>-
>-    background-color: @theme_check_radio_bg;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
>-.check:insensitive,
>-.radio:insensitive {
>-    border-color: @theme_button_insensitive_border;
>-    color: @theme_button_insensitive_fg;
>-    background-color: @theme_button_insensitive_bg;
>-}
>-
>-.menuitem.check,
>-.menuitem.radio {
>-    background-color: transparent;
>-    color: transparent;
>-    border-color: transparent;
>-}
>-
>-.menuitem.radio:active,
>-.menuitem.check:active,
>-.menuitem.radio:inconsistent,
>-.menuitem.check:inconsistent {
>-    color: @theme_active_color;
>-}
>-
>-.menuitem.radio:active:hover,
>-.menuitem.check:active:hover,
>-.menuitem.radio:inconsistent:hover,
>-.menuitem.check:inconsistent:hover {
>-    color: @theme_base_color;
>-}
>-
>-.menuitem.radio:active:insensitive,
>-.menuitem.check:active:insensitive,
>-.menuitem.radio:inconsistent:insensitive,
>-.menuitem.check:inconsistent:insensitive {
>-    color: @theme_button_insensitive_fg;
>-}
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /*********
>  * Views *
>@@ -1214,6 +1234,12 @@ GtkProgressBar.osd.progressbar {
>     color: @theme_base_color;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
>     border-color: darker(@theme_bg_color);
>     border-radius: 7px 7px 0 0;
>@@ -1222,13 +1248,14 @@ GtkProgressBar.osd.progressbar {
> 
>     box-shadow: 0 2px 8px 3px alpha(black, 0.7);
> 
>-    /* this is used for the resize cursor area */
>+ * this is used for the resize cursor area
>     margin: 10px;
> }
> 
> .window-frame:backdrop {
>     box-shadow: 0 2px 5px 1px alpha(black, 0.7);
> }
>+*/
> 
> /****************
>  * App-specific *
>diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
>index 08ea4f7..7d72b95 100644
>--- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css
>@@ -1822,6 +1822,12 @@ GtkProgressBar.osd.progressbar {
> 	color: #747473;
> }
>  
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
>     border-color: @theme_bg_color;
>     border-radius: 7px 7px 0 0;
>@@ -1830,9 +1836,10 @@ GtkProgressBar.osd.progressbar {
>     background-color: @theme_bg_color;
>     box-shadow: 0 0 0 2px @osd_button_shadow, 0 2px 8px 3px @osd_button_shadow;
> 
>-    /* this is used for the resize cursor area */
>+ * this is used for the resize cursor area
>     margin: 10px;
> }
>+*/
> 
> /****************************
>  * Suggested action buttons *
>@@ -2050,25 +2057,73 @@ GtkColorSwatch:selected:hover {
> 	border-color: alpha(black, 0.5);
> }
> 
>-/***************************
>- * Radio and Check Buttons *
>- ***************************/
>-.radio,
>-.check,
>-.radio:selected, 
>-.check:selected,
>-.radio:selected:focus, 
>-.check:selected:focus,
>-.cell.radio,
>-.cell.check,
>-.cell.radio:selected, 
>-.cell.check:selected,
>-.cell.radio:selected:focus, 
>-.cell.check:selected:focus {
>-	background-color: transparent;
>-	border-width: 0px;
>-	border-style: none;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /*****************
>  * GtkCheckButton *
>diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
>index b10cc8d..0aa2fe3 100644
>--- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css
>@@ -2220,24 +2220,73 @@ GtkMenuButton .menu {
> 	text-shadow: none;
> }
> 
>-/****************
>- * Radiobuttons *
>- ****************/
>-
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-	background-color: transparent;
>-	border-style: none;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-	background-color: transparent;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /************
>  * Toolbars *
>@@ -3674,13 +3723,19 @@ GtkModelButton.button:selected {
> 	icon-shadow: none;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
> 	border-radius: 6px 6px 0 0;
>-	/* lamefun trick to get rounded borders regardless of CSD use */
>+ * lamefun trick to get rounded borders regardless of CSD use
> 	border-width: 0px;	
> 	box-shadow: 0 0 0 1px @wm_border, 0 2px 8px 3px @wm_shadow;
> 
>-	/* this is used for the resize cursor area */
>+ * this is used for the resize cursor area *
> 	margin: 10px;
> }
> 
>@@ -3692,4 +3747,4 @@ GtkModelButton.button:selected {
> .window-frame:backdrop {
> 	box-shadow: 0 0 0 1px shade(@wm_border,1.1), 0 2px 5px 1px @wm_shadow;
> }
>-
>+*/
>diff --git a/desktop-themes/Shiny/gtk-3.0/gtk-widgets.css b/desktop-themes/Shiny/gtk-3.0/gtk-widgets.css
>index 97c86cf..eb65524 100644
>--- a/desktop-themes/Shiny/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/Shiny/gtk-3.0/gtk-widgets.css
>@@ -664,29 +664,73 @@ row:selected:backdrop {
>     /*text-shadow: 0 -1px shade (@selected_bg_color, 0.7);*/
> }
> 
>-/*******************
>- * check and radio *
>- *******************/
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-
>-    background-color: transparent;
>-    border-style: none;
>-    margin: 1px 0;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-    background-color: transparent;
>-}
>-
>-.menu .radio * {
>-    box-shadow: none;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /*****************
>  * column-header *
>diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
>index eb2bd72..5fbad4f 100644
>--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
>@@ -1240,29 +1240,74 @@ GtkTreeMenu .menuitem *:hover,
> 	border-style: solid;
> }
> 
>-/****************
>- * Radiobuttons *
>- ****************/
>-
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-	background-color: transparent;
>-	border-style: none;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
>-.check row:selected:insensitive,
>-.check row:selected:focus:insensitive {
>-	background-color: transparent;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-	background-color: transparent;
>-}
> 
> /************
>  * Toolbars *
>@@ -1848,21 +1893,27 @@ GtkInfoBar:last-child,
>     icon-shadow: none;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
> 	border-width: 1px;
> 	border-radius: 7px 7px 0 0;
> 	border-style: solid;
>     background-color: @theme_bg_color;
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0px 0px 0px 0px;
> 	margin: 10px;
> }
> 
> .window-frame:backdrop {
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0 0 0 2px @insensitive_text_shadow_color, 0 2px 5px 1px @insensitive_text_shadow_color;
> }
>-
>+*/
> /************
>  * Popovers *
>  ************/
>diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
>index a2bad58..0024390 100644
>--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
>@@ -1240,29 +1240,73 @@ GtkTreeMenu .menuitem *:hover,
> 	border-style: solid;
> }
> 
>-/****************
>- * Radiobuttons *
>- ****************/
>-
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-	background-color: transparent;
>-	border-style: none;
>-}
>-
>-.check row:selected:insensitive,
>-.check row:selected:focus:insensitive {
>-	background-color: transparent;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-	background-color: transparent;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /************
>  * Toolbars *
>@@ -1848,20 +1892,27 @@ GtkInfoBar:last-child,
>     icon-shadow: none;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
> 	border-width: 1px;
> 	border-radius: 7px 7px 0 0;
> 	border-style: solid;
>     background-color: @theme_bg_color;
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0px 0px 0px 0px;
> 	margin: 10px;
> }
> 
> .window-frame:backdrop {
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0 0 0 2px @insensitive_text_shadow_color, 0 2px 5px 1px @insensitive_text_shadow_color;
> }
>+*/
> 
> /************
>  * Popovers *
>diff --git a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
>index c8c1b03..61d1a58 100644
>--- a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
>+++ b/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
>@@ -1238,29 +1238,73 @@ GtkTreeMenu .menuitem *:hover,
> 	border-style: solid;
> }
> 
>-/****************
>- * Radiobuttons *
>- ****************/
>-
>-.check,
>-.radio,
>-.check:insensitive,
>-.radio:insensitive {
>-	background-color: transparent;
>-	border-style: none;
>-}
>-
>-.check row:selected:insensitive,
>-.check row:selected:focus:insensitive {
>-	background-color: transparent;
>-}
>-
>-GtkCheckButton:hover,
>-GtkCheckButton:active:hover,
>-GtkCheckButton:selected,
>-GtkCheckButton:selected:focus {
>-	background-color: transparent;
>-}
>+/*****************************************************************************************************
>+ * Check and Radio items                                                                             *
>+ * Related to recent gtk3 development, to reveal checkboxes as part of the dialogue                  *
>+ * of some of the applications whose notification icons appear in the system tray                    *
>+ * the reference section of the HighContrast theme is used.                                          *
>+ * https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/gtk-3.0/gtk.css#n1398 *
>+ *****************************************************************************************************/
>+
>+GtkCheckButton.text-button, GtkRadioButton.text-button {
>+  padding: 1px;
>+  outline-offset: 0; }
>+
>+.check {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); }
>+  .check:hover {
>+    color: #7f7f7f; }
>+  .check:checked, .check:active {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
>+    color: #000; }
>+    .check:checked:hover, .check:active:hover {
>+      color: #7f7f7f; }
>+    .check:checked:insensitive, .check:active:insensitive {
>+      color: #7f7f7f; }
>+      .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .check:checked:backdrop, .check:active:backdrop {
>+      color: #000; }
>+  .check:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .check:insensitive:backdrop {
>+      color: transparent; }
>+  .check:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); }
>+  .check:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .check:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
>+
>+.radio {
>+  color: rgba(0, 0, 0, 0.1);
>+  background-image: none;
>+  -gtk-icon-source: -gtk-icontheme("radio-symbolic"); }
>+  .radio:hover {
>+    color: #7f7f7f; }
>+  .radio:checked, .radio:active {
>+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
>+    color: #000; }
>+    .radio:checked:hover, .radio:active:hover {
>+      color: #7f7f7f; }
>+    .radio:checked:insensitive, .radio:active:insensitive {
>+      color: #7f7f7f; }
>+      .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {
>+        color: #7f7f7f; }
>+    .radio:checked:backdrop, .radio:active:backdrop {
>+      color: #000; }
>+  .radio:insensitive {
>+    color: rgba(127, 127, 127, 0.1); }
>+    .radio:insensitive:backdrop {
>+      color: transparent; }
>+  .radio:inconsistent {
>+    -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); }
>+  .radio:backdrop {
>+    color: rgba(0, 0, 0, 0.1); }
>+    .radio:backdrop:selected {
>+      color: rgba(255, 255, 255, 0.1); }
> 
> /************
>  * Toolbars *
>@@ -1846,20 +1890,27 @@ GtkInfoBar:last-child,
>     icon-shadow: none;
> }
> 
>+/****************************************************************************************
>+ * Give and take related to recent gtk3 development,                                    *
>+ * to achieve full size of the icon menu of some of the applications whose notification *
>+ * icons appear in the system tray, the "shadow" is disabled.                           *
>+ ****************************************************************************************/
>+/*
> .window-frame {
> 	border-width: 1px;
> 	border-radius: 7px 7px 0 0;
> 	border-style: solid;
>     background-color: @theme_bg_color;
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0px 0px 0px 0px;
> 	margin: 10px;
> }
> 
> .window-frame:backdrop {
>-/* dummy to avoid resizing mate-appearence-properties if theme changed */
>+ * dummy to avoid resizing mate-appearence-properties if theme changed
>     box-shadow: 0 0 0 2px @insensitive_text_shadow_color, 0 2px 5px 1px @insensitive_text_shadow_color;
> }
>+*/
> 
> /************
>  * Popovers *
>-- 
>2.1.0
>

Actions: View | Diff

Attachments on bug 1140423: 936352 | 936353