Minor UI improvements of Mixing toolbox
Authored by: brunoherbelin 2017-09-13
Parent: [r1492]
Child: [r1494]