@b4n commented on this pull request.
On doc/images/pref_dialog_various.png:
This is also theme-dependent, isn't it?
It is, unless we're explicitly asking for the theme to do something like that (there's an option I don't remember, but you're only supposed to use that if things would be hard to comprehend without, and otherwise let the theme decide).