UI Options does three things:
- places a preferences editor dialog with a set of six panels in a collapsible panel at the top of the page, accessible through a button in the upper right corner of the page;
- instantiates a cookie-based Settings Store for storing the user's preferences; and
- acts upon the user's preferences.
UI Options is a convenient way to add a simple separated-panel preferences editor to any page.