[gps-users] Using a .gtkrc

[Jérome HAGUET]

Well, I finally found a way to do it : 
I changed the following line in ~/.gps/preferences

  <Src-Editor-Default-Font>courier new 9</Src-Editor-Default-Font>

Just to let you know ...

Jérôme

-----Message d'origine-----
De : "Jérome HAGUET" [mailto:j.haguet@cadwin.com] 
Envoyé : mardi 29 juillet 2003 16:11
À : gps-users@lists.act-europe.fr
Objet : RE : [gps-users] Using a .gtkrc



In the same idea, on my Windows XP laptop, I would like to change the font
(size) in the "Messages" window.

I have not found any possibility through Edit/Preferences.
Is it possible with that gtkrc file ? 
If yes, what would be the syntax ? 
Any URL where I can find that kind of information ? 

Thanks.

Jérôme

-----Message d'origine-----
De : Nicolas Setton [mailto:setton@act-europe.fr] 
Envoyé : mardi 29 juillet 2003 15:46
À : bdbryant@mail.utexas.edu
Cc : gps-users@lists.act-europe.fr
Objet : Re: [gps-users] Using a .gtkrc


Hello

> I set up a ~/.gps/gtkrc to redefine the foreground and background 
> colors in GtkTextView widgets, hoping to change the background of the =

> program text in the main GPS viewer/editor, which by default is =
written 
> in the color of my general GTK+ theme.
> 
> The change does not seem to have any effect.  Actually, whenever I =
open 
> a file for editing or switch between the tabs for different source 
> files I get a brief flash of my specified color in the column where =
the 
> line numbers are written, but it is immediately overwritten by the 
> white background of the line numbers.  I don't even see that brief 
> flash of color for the main background.
> 
> Is what I am trying to do even possible?  Am I changing the colors =
for 
> the wrong widget type?  Is GPS perhaps applying my general GTK+ theme =

> _after_ applying whatever is in ~/.gps/gtkrc, and it is just =
repainted 
> so fast that I don't see it?

What are you putting in your gtkrc file ?
The correct syntax would be something like:
        
        
        style "textviews"
         {
         base[NORMAL]="#ffaadd" 
        }   
            
        class "GtkTextView" style "textviews"
        
        
That should get you an horrible pink background in all text editors.

Cheers,

Nico
_______________________________________________
gps-users mailing list
gps-users@lists.act-europe.fr
http://lists.act-europe.fr/mailman/listinfo/gps-users
_______________________________________________
gps-users mailing list
gps-users@lists.act-europe.fr
http://lists.act-europe.fr/mailman/listinfo/gps-users