Slight improvement to our property editor widget.