Am Donnerstag, den 17.10.2013, 19:04 +0200 schrieb Michael Biebl: > The context menu seems to use the same font as the text area. Hm, sounds like a stupid idea to me. Other gnome applications displaying text (e.g. evince or epiphany) do not show this behaviour.