GUI improvement for User Preference button selection box.
Authored by: brunoherbelin 2017-07-31
Parent: [r1426]
Child: [r1428]
