minor ui design change to property editor