[Contents] [Index] [Next] [Previous]

Configurability


This chapter describes only those elements of window manager design that help create a consistent user interface. A window manager can supply a mechanism that allows the user to configure the window manager. The window manager can make any element user-configurable, including key bindings, Menu contents, default window decorations, or any other rules and elements defined in this guide.

Any window manager that supplies a configuration mechanism must also include support for toggling between the current user configuration and the default configuration as mandated by this guide. The configuration toggle key press, [!], must initiate a configuration toggle.

When the user issues a request to toggle the configuration, the window manager should request user verification before proceeding.