https://bugs.kde.org/show_bug.cgi?id=496845
Christoph Cullmann <christ...@cullmann.io> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |christ...@cullmann.io --- Comment #4 from Christoph Cullmann <christ...@cullmann.io> --- We could try to use the font size of the ui instead of the editor, but not sure if that is always better. -- You are receiving this mail because: You are watching all bug changes.