I've checked in a fix to a bug in the GUI which was causing the local user prefs (file user-prefs.lsp) to be lost when the 'Set options...' menu item was chosen followed by the 'Cancel' button. - Ben