Changing the user-font in GNOME/Control Center - Αλλαγή γραμματοσειγραμματοσειράς χρήστη στο GNOME/Κέντρο Ελέγχου

Simos Xenitellis simos74 at gmx.net
Fri Dec 28 16:02:34 EET 2001


Σφάλμα: Στις γνωστές διανομές του Linux, στο GNOME, δεν είναι δυνατή η
αλλαγή της γραμματοσειράς συστήματος από το Κέντρο Ελέγχου.

Πηγή: http://bugzilla.gnome.org/show_bug.cgi?id=62682

Η σύντομη λύση είναι κάνετε μια αλλαγή στο ~/.gtkrc όπως περιγράφετε
παρακάτω.

Το πρόβλημα είναι στο gtk-theme-selector-capplet, καθώς επιλέγετε τη
γραμματοσειρά. Πατώντας Εντάξει, φτιάχνετε το αρχείο ~/.gtkrc το οποίο
περιλαμβάνει μεταξύ άλλων

==>
style "user-font"
{
  font="-microsoft-tahoma-bold-r-normal-*-*-110-*-*-p-*-iso8859-7"
}
==<

Το σωστό είναι 

==>
style "user-font"
{
  fontset="-microsoft-tahoma-bold-r-normal-*-*-110-*-*-p-*-iso8859-7"
}
==<

(Προσέξτε το "fontset" αντί του "font")

Αν δεν υπάρχει αρχείο ρυθμίσεων στο /etc/gtk/ για τη συγκεκριμένη γλώσσα
(ελληνικά), τότε το .gtkrc λειτουργεί ως έχει.
Αν υπάρχει αρχείο ρυθμίσεων στο /etc/gtk/ (gtkrc.el), τότε η δήλωση
"font=..." δεν είναι σε θέση να αλλάξει τη γραμματοσειρά. Πρέπει να
αλλαχτεί σε "fontset=...".

σίμος



More information about the I18ngr mailing list