"Fossies" - the Fresh Open Source Software Archive

Member "usr/share/Ted/config/ted.gtkrc-2.0" (1 Feb 2013, 1940 Bytes) of package /linux/misc/old/ted-2.23-linux-amd64.tar.gz:

    1 # Make Teds tool window smaller
    2 # see http://library.gnome.org/devel/gtk/stable/gtk-Resource-Files.html
    3 
    4 style "tedRowButton"
    5     {
    6     #fg[NORMAL] = "red"
    7     xthickness = 0
    8     ythickness = 0
    9     }
   10 
   11 style "tedRowToggle"
   12     {
   13     #fg[NORMAL] = "red"
   14     xthickness = 0
   15     ythickness = 0
   16 
   17     GtkCheckButton::indicator-spacing=0
   18 
   19     GtkButton::inner-border = {0,0,0,0}
   20     GtkButton::default_border={0,0,0,0}
   21     GtkButton::default_outside_border={0,0,0,0}
   22 
   23     GtkCheckButton::inner-border = {0,0,0,0}
   24     GtkCheckButton::default_border={0,0,0,0}
   25     GtkCheckButton::default_outside_border={0,0,0,0}
   26     }
   27 
   28 style "tedOptMenuItem"
   29     {
   30     font_name = "Sans 7"
   31     #fg[NORMAL] = "red"
   32     xthickness = 2
   33     ythickness = 2
   34     }
   35 
   36 style "tedRowOptMenu"
   37     {
   38     font_name = "Sans 7"
   39     #fg[NORMAL] = "blue"
   40     xthickness = 0
   41     ythickness = 0
   42 
   43     GtkButton::inner-border = {0,0,0,0}
   44     GtkButton::default_border={0,0,0,0}
   45     GtkButton::default_outside_border={0,0,0,0}
   46 
   47     GtkOptionMenu::indicator_size={8,0}
   48     # left right top bottom
   49     GtkOptionMenu::indicator_spacing={2,0,0,0}
   50 
   51     GtkMenu::vertical-padding=1
   52     }
   53 
   54 style "tedRowText"
   55     {
   56     #fg[NORMAL] = "red"
   57     xthickness = 1
   58     ythickness = 1
   59     }
   60 
   61 style "tedInspector"
   62     {
   63     font_name = "Sans 7"
   64     }
   65 
   66 widget "*tedInspector*" style "tedInspector"
   67 widget "*tedInspector*GtkList" style "tedInspector"
   68 widget "*tedInspector*GtkScrolledWindow" style "tedInspector"
   69 
   70 widget "*.tedRowToggle" style "tedRowToggle"
   71 widget "*.tedRowToggle.GtkLabel" style "tedRowToggle"
   72 
   73 widget "*.tedRowButton" style "tedRowButton"
   74 widget "*.tedRowButton.GtkLabel" style "tedRowButton"
   75 
   76 widget "*.tedRowText" style "tedRowText"
   77 
   78 widget "*.tedOptMenuItem" style "tedOptMenuItem"
   79 
   80 widget "*.tedRowOptMenu" style "tedRowOptMenu"
   81 widget "*.tedRowOptMenu.GtkLabel" style "tedRowOptMenu"
   82 widget "*.tedRowOptMenu.*.*" style "tedRowOptMenu"
   83 
   84 class "GtkOptionMenu" style "tedRowOptMenu"
   85