Am 11.02.2010 20:09, schrieb Matthias Wächter: > Eh klar, das geht schon mal nicht wie erwartet. Der Font wird brav herunter > geladen und entpackt, > aber er findet noch nicht die richtige Verwendung: Ich habe einen > uralt-dejavu-Font installiert, und > der wird statt des frischen genommen. Grrr. Aber es ist noch nicht aller Tage > Abend.
Geht jetzt in r2157. Es kann natürlich nicht gehen, wenn ich den standard Font am System anmelde, aber dann den Bold Font verwende. :) – Mœsi