Minor GUI improvements (correct mixing property, docking handle size,
default expanding property)
Authored by: brunoherbelin 2016-10-01
Parent: [r1181]
Child: [r1183]