Am Sonntag, den 13. Oktober 2002 um 18:01:36 Uhr (+0200) schrieb Reinhard Foerster:
oder per ~/.emacs
(if window-system (progn (set-face-font 'default "6x10") (set-face-font 'bold "6x10") (set-face-font 'italic "6x10") (set-face-font 'bold-italic "6x10")))
Das hatte ich schon probiert, aber es funktioniert bei mir aus folgendem Grunde nicht vollständig: Wenn ich mit C-h i in den info mode gehe, werden die cross references auch bold dargestellt. Abhilfe schafft nur:
(progn (set-face-font 'default "6x10") (set-face-font 'bold "6x10") (set-face-font 'italic "6x10") (set-face-font 'bold-italic "6x10") (set-face-font 'info-xref "6x10") (set-face-font 'info-menu-5 "6x10") (set-face-font 'info-node "6x10"))
Das wiederum kann ich nicht evaluieren, bevor ich nicht das erste Mal info aufgerufen habe (wenn ich das in mein .emacs File lege, bekomme ich den error: "Wrong type argument: internal-facep, info-xref"). Erst nachdem ich einen info buffer angelegt habe, verschwindet der Fehler.
Um diese Befehle nur bei Starten des Info Buffers auszuführen, versuchte ich
(add-hook 'info-mode-hook '(lambda () (set-face-font 'info-xref "6x10") (set-face-font 'info-menu-5 "6x10") (set-face-font 'info-node "6x10") ))
aber das scheint nicht zu funktionieren, da dieser hook nicht angesprochen wird. Ausserdem wäre die Frage, inwiefern, diese Befehle in diesem Falle nicht auch zu früh kämen. Ich habe mir ein Keyboard shortcut gelegt, dass diesen Befehl ausführt, nachdem ich info aufgerufen habe. Das mache ich schon seit einigen Jahren so, aber auf die Dauer nervt das doch ein wenig :-(
Mit der 2. Variante hatte ich Probleme. Sie funktioniert zwar, nur benötigt emacs damit ewig beim Start. Er scheint aufwendig zu testen, ob die angegeben fonts wirklich vorhanden sind. Ich habe keine Ahnung, wie man das verhindern kann. Viellleicht war das nur ein Bug bei mir.
Nein, das ist auch bei mir der Normalfall, selbst wenn ich lediglich den default Font auf "6x10" gesetzt habe. Ist mir aber letztlich lieber, als die grössere Schrift. Auf einem Laptop ist man mit Bildschirmplatz etwas geizig...
Dennoch danke für die Tips,
-- Orm