[gnome-themes-standard] column-header: fix theming for insensitive column header buttons

[Cosimo Cecchi <cosimoc src gnome org>]

commit 2c49de7c48759748bc89479f5d571958165ae69e
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Apr 14 13:57:11 2012 -0400

    column-header: fix theming for insensitive column header buttons
    
    As seen e.g. in nm-connection-editor.

 .../Adwaita/gtk-3.0/gtk-widgets-borders-dark.css   |   13 +++++++++++++
 themes/Adwaita/gtk-3.0/gtk-widgets-borders.css     |   13 +++++++++++++
 themes/Adwaita/gtk-3.0/gtk-widgets.css             |    5 +----
 3 files changed, 27 insertions(+), 4 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets-borders-dark.css b/themes/Adwaita/gtk-3.0/gtk-widgets-borders-dark.css
index 06a5496..58a5cd2 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets-borders-dark.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets-borders-dark.css
@@ -177,6 +177,19 @@ column-header .button:backdrop {
     border-color: transparent;
 }
 
+column-header.button:insensitive,
+column-header .button:insensitive {
+    border-image: -gtk-gradient (linear,
+                                 left top, left bottom,
+                                 from (@borders),
+                                 to (@insensitive_bg_color)) 0 1 0 0;
+
+    border-width: 0 1px 0 0;
+    border-radius: 0;
+    border-style: solid;
+    border-color: transparent;
+}
+
 column-header.button:last-child,
 column-header:last-child .button,
 column-header.button:last-child:focus,
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css b/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
index 6f212fd..7abf919 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
@@ -181,6 +181,19 @@ column-header .button:backdrop {
     border-color: transparent;
 }
 
+column-header.button:insensitive,
+column-header .button:insensitive {
+    border-image: -gtk-gradient (linear,
+                                 left top, left bottom,
+                                 from (@insensitive_borders),
+                                 to (@insensitive_bg_color)) 0 1 0 0;
+
+    border-width: 0 1px 0 0;
+    border-radius: 0;
+    border-style: solid;
+    border-color: transparent;
+}
+
 column-header.button:last-child,
 column-header:last-child .button,
 column-header.button:last-child:focus,
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index af04639..56d273f 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -2125,7 +2125,6 @@ column-header .button {
 column-header.button,
 column-header .button,
 column-header.button:insensitive,
-/* column-header:insensitive .button, */
 column-header .button:insensitive,
 column-header.button:hover,
 column-header .button:hover,
@@ -2142,13 +2141,11 @@ column-header .button:focus:hover {
 column-header.button:backdrop,
 column-header .button:backdrop {
     background-color: @theme_unfocused_base_color;
-    /* color: FIXME */
 }
 
 column-header.button:insensitive,
-column-header:insensitive. .button,
 column-header .button:insensitive {
-    color: @internal_element_insensitive;
+    background-color: @insensitive_bg_color;
 }
 
 column-header.button:hover,