[This is preliminary documentation and is subject to change.]
Adds a rule option property.
Deletes selected rule option properties.
Enables filter in rule option property grid.
© 2014-2017 Hermann Jung. All rights reserved.