Schriftgrösse der Menüs Linux/Mozilla

[Henryk Plötz]

Moin,

Ja und nein. Die Menuefonts werden vom jeweiligen Windowmanager zur Verfuegung gestellt

Huch, wie kommst du denn auf dieses schmale Brett? Der Windowmanager ist genau nur zum Managen der Windows da, wie der Name schon sagt. Er ist allenfalls für die Fonts im Fenstertitel zuständig. Das Menü ist aber schon Teil des Fensters und dafür ist die jeweilige Anwendung verantwortlich, bzw. die überlässt es häufig genug dem verwendeteten GUI-Toolkit.