Re #8911. Added editor for property options.