@eht16 commented on this pull request.
On doc/images/pref_dialog_various.png:
This is also theme-dependent, isn't it? I don't remember we changed anything in the dialog?
We could discuss if we do not want to use that theme for screenshots but given the time left, I would postpone this discussion to 2.1+.