Community
Participate
Working Groups
This API avoids that we have to duplicate interpreting the preferences. See the change notes in the workbench for build 20011218
Fixed in build > 20020115