#1 Le 27/08/2007, à 11:50
- drlewis
[Fluxbox] Modifier la taille des polices
Bonjour, je souhaiterais savoir comment modifier la taille des polices qui sont entourées sur cette capture :
Est-ce que quelqu'un pourrait m'expliquer comment faire s'il vous plaît ?
Merci.
Hors ligne
#2 Le 28/08/2007, à 09:03
- phoniaTE1041
Re : [Fluxbox] Modifier la taille des polices
Fluxbox ne gère que les déco de fenètre, sa toolbar et son menu.
Donc tu dois passer par un soft indépendant comme gtk-theme-switch par exemple, pour modifier soit le thème ou bien la police.
Ca te donnerait un truc comme ça dans ton fichier ~/.gtkrc-2.0 :
# -- THEME AUTO-WRITTEN DO NOT EDIT
include "/usr/share/themes/Clearlooks/gtk-2.0/gtkrc"style "user-font"
{
font_name="Bitstream Vera Sans 10"
}
widget_class "*" style "user-font"include "/home/kawada/.gtkrc-2.0.mine"
# -- THEME AUTO-WRITTEN DO NOT EDIT
Hors ligne