improving 'revert to default' menu commands in module properties