1. Go to a document in the GWT editor
2. Open the configuration panel (cog) on the right
3. Select some options and press Save
4. Press F5 - note the options are the same
5. Press Load
The options are changed to a set that is similar to the default
Nothing should happen. If the user changes a few options and presses Load, it should again revert to the previous user settings.