-
Eike Ziller authored
Generalizes the special handling of font settings, which should only be applied (on the document) when an editor is or becomes visible. Change-Id: Icd1e3ba4355e1ff4a837c9679b537cc3f5ed7ea9 Reviewed-by: Fawzi Mohamed <fawzi.mohamed@digia.com>
99dec874