Some minor improvement to our property editor widget.