Hombre 0ab931c287 From issue #3446: remove the "Use system theme" option + slight rework ...

of the Preferences general panel.

2016-11-17 01:50:03 +01:00

110 KiB

Raw Blame History

View Raw