Some minor cleaning up.
Imrpoved PropertyEditorWidget (#142).