Fix #153: Various enhancements to ColorInput widget