Preferences manager for the Openbox window manager
