File gnome-themes-industrial-tree-insensitive-text-color.diff of Package gtk2-engines

--- themes/Industrial/gtk-2.0/gtkrc	2005-03-22 14:31:02.000000000 -0600
+++ themes/Industrial/gtk-2.0/gtkrc	2005-03-22 14:39:16.000000000 -0600
@@ -195,6 +195,8 @@
     }
   xthickness = 2
   ythickness = 2
+
+  text[INSENSITIVE] = "#aaaaaa"
 }
 
 style "industrial-frame-title" = "industrial-default"