Minor GUI improvement in Preference Dialog and default source.
Authored by: brunoherbelin 2016-10-07
Parent: [r1190]
Child: [r1192]