font size in "documentation" tool view

[René J.V. Bertin]

On Tuesday July 12 2016 09:30:23 Sven Brauch wrote:

> CCing the visual design list on this one, I have seen _lots_ of users
> complain about too-small default fixed font recently. I guess that
> should be made larger again?

Goodness no or do it only for in high-DPI mode (or if the Xft DPI setting is over a certain value).
Best thing though would be to add a size setting as has apparently been proposed already.

KDevelop is barely usable as it is when I'm confined to using just my laptop screen.

R.