gnome-themes r1504 - in trunk: . gtk-themes/HighContrast gtk-themes/HighContrastInverse gtk-themes/HighContrastLargePrint gtk-themes/HighContrastLargePrintInverse

[bberg svn gnome org]

Author: bberg
Date: Mon Aug 18 15:18:17 2008
New Revision: 1504
URL: http://svn.gnome.org/viewvc/gnome-themes?rev=1504&view=rev

Log:
2008-08-18  Benjamin Berg  <benjamin sipsolutions net>

	* gtk-themes/HighContrast/gtkrc.in:
	* gtk-themes/HighContrastInverse/gtkrc.in:
	* gtk-themes/HighContrastLargePrint/gtkrc.in:
	* gtk-themes/HighContrastLargePrintInverse/gtkrc.in:
	Fix the x/ythickness and increase some other sizes in the
	highcontrast theme. (bug #452062, Ãtienne Bersac)


Modified:
   trunk/ChangeLog
   trunk/gtk-themes/HighContrast/gtkrc.in
   trunk/gtk-themes/HighContrastInverse/gtkrc.in
   trunk/gtk-themes/HighContrastLargePrint/gtkrc.in
   trunk/gtk-themes/HighContrastLargePrintInverse/gtkrc.in

Modified: trunk/gtk-themes/HighContrast/gtkrc.in
==============================================================================
--- trunk/gtk-themes/HighContrast/gtkrc.in	(original)
+++ trunk/gtk-themes/HighContrast/gtkrc.in	Mon Aug 18 15:18:17 2008
@@ -13,15 +13,18 @@
 style "default"
 {
   engine "hcengine" {
-  # edge_thickness = 2
+    edge_thickness = 2
   }
 
+  xthickness = 2
+  ythickness = 2
+
 # For Java Desktop System
   PanelMenu::stripe-gradient-top = "#000000"
   PanelMenu::stripe-gradient-bottom = "#000000"
 
-  GtkWidget::focus-line-pattern = "\2\1"
-  GtkWidget::focus-line-width = 1
+  GtkWidget::focus-line-pattern = "\4\2"
+  GtkWidget::focus-line-width = 2
   GtkHSV::focus-line-pattern = "\0"
   GtkWidget::interior_focus = 1
   GtkWidget::focus-padding = 0

Modified: trunk/gtk-themes/HighContrastInverse/gtkrc.in
==============================================================================
--- trunk/gtk-themes/HighContrastInverse/gtkrc.in	(original)
+++ trunk/gtk-themes/HighContrastInverse/gtkrc.in	Mon Aug 18 15:18:17 2008
@@ -14,17 +14,20 @@
 style "default"   
 { 
   engine "hcengine" {
-  # edge_thickness = 2
+    edge_thickness = 2
   }
 
+  xthickness = 2
+  ythickness = 2
+
 # For Java Desktop System
   PanelMenu::stripe-gradient-top = "#000033"
   PanelMenu::stripe-gradient-bottom = "#000033"
   
   GtkWidget::link-color = "#FFFFFF"
   GtkWidget::visited-link-color = "#FFCCFF"
-  GtkWidget::focus-line-pattern = "\2\1"
-  GtkWidget::focus-line-width = 1
+  GtkWidget::focus-line-pattern = "\4\2"
+  GtkWidget::focus-line-width = 2
   GtkHSV::focus-line-pattern = "\0"
   GtkWidget::interior_focus = 1
   GtkWidget::focus-padding = 0

Modified: trunk/gtk-themes/HighContrastLargePrint/gtkrc.in
==============================================================================
--- trunk/gtk-themes/HighContrastLargePrint/gtkrc.in	(original)
+++ trunk/gtk-themes/HighContrastLargePrint/gtkrc.in	Mon Aug 18 15:18:17 2008
@@ -22,11 +22,14 @@
 	cell_indicator_size = 18
   }
 
+  xthickness = 3
+  ythickness = 3
+
 # For Java Desktop System
   PanelMenu::stripe-gradient-top = "#000000"
   PanelMenu::stripe-gradient-bottom = "#000000"
 	
-  GtkWidget::focus-line-pattern = "\10\2"
+  GtkWidget::focus-line-pattern = "\10\3"
   GtkWidget::focus-line-width = 3
   GtkWidget::interior_focus = 1
   GtkWidget::focus-padding = 0

Modified: trunk/gtk-themes/HighContrastLargePrintInverse/gtkrc.in
==============================================================================
--- trunk/gtk-themes/HighContrastLargePrintInverse/gtkrc.in	(original)
+++ trunk/gtk-themes/HighContrastLargePrintInverse/gtkrc.in	Mon Aug 18 15:18:17 2008
@@ -20,13 +20,16 @@
 	cell_indicator_size = 18
   }
 
+  xthickness = 3
+  ythickness = 3
+
 # For Java Desktop System
   PanelMenu::stripe-gradient-top = "#000033"
   PanelMenu::stripe-gradient-bottom = "#000033"
 
   GtkWidget::link-color = "#FFFFFF"
   GtkWidget::visited-link-color = "#FFCCFF"
-  GtkWidget::focus-line-pattern = "\10\2"
+  GtkWidget::focus-line-pattern = "\10\3"
   GtkWidget::interior_focus = 1
   GtkWidget::focus-padding = 0
   GtkWidget::focus-line-width = 3