1 |
Am Montag, 13. September 2004 16:57 schrieb Phlogiston: |
2 |
> Hmm wäre es möglich dass du mir da vielleicht irgendwelche configs |
3 |
> geben könntest, denn ich habe genau solche grosse hässliche |
4 |
> schriften... :( |
5 |
|
6 |
Klar, nur weiss ich in keiner Weise, welche da relevant sind. |
7 |
|
8 |
Ich habe die folgende Datei gefunden, denen ich eine Relevanz zutraue: |
9 |
~/.gtkrc-1.2-gnome2 |
10 |
|
11 |
,----- |
12 |
| # Autowritten by gnome-settings-daemon. Do not edit |
13 |
| include "/usr/share/themes/Industrial/gtk/gtkrc" |
14 |
| include "/home/bernd/.gtkrc.mine" |
15 |
`----- |
16 |
|
17 |
Also nicht wirklich interessant. Die .gtkrc.mine gibt es nicht. |
18 |
die /usr/share/themes/Industrial/gtk/gtkrc hänge ich an, die ist etwas |
19 |
größer. |
20 |
|
21 |
Dann köme noch /etc/gtk/gtkrc.iso-8859-15 in Betacht, die sieht so aus: |
22 |
|
23 |
,----- |
24 |
| style "gtk-default-iso-8859-15" { |
25 |
| fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\ |
26 |
| -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\ |
27 |
| -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-15,\ |
28 |
| -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-15,*-r-*" |
29 |
| } |
30 |
| class "GtkWidget" style "gtk-default-iso-8859-15" |
31 |
`----- |
32 |
|
33 |
Alle diese Dateien habe ich nie manuell geändert. Wenn du irgendeine |
34 |
andere Config willst, sag mir welche. |
35 |
|
36 |
cu, Bernd |
37 |
|
38 |
-- |
39 |
Was ist das für eine Welt, in der morgens um sieben schon die Sonne |
40 |
aufgeht? |