"Error saving preferences" when not trying to save preferences...
Don Green <[email protected]> Fri, 29 May 2020 14:46:25 -0600
| Newsgroups | gmane.comp.lang.racket.user,gmane.lisp.scheme.plt |
|---|---|
| Message-ID | <CANeurs+VA5po2Kk7KizB7AN5jDDGmBJ3oBn7B7qTAtG6i3SxPQ@mail.gmail.com> |
Any ideas what I can do to stop getting this message anytime I have DrRacket running in 2 terminals in different workspaces on linux/Ubuntu. "Error saving preferences" is the title in the popup window. Text in the window is: "The preferences file is locked (because ...) so your preference change could not be saved." I am not trying to change preferences! The popup appears when I go back and forth between running instances of DrRacket. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected] To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CANeurs%2BVA5po2Kk7KizB7AN5jDDGmBJ3oBn7B7qTAtG6i3SxPQ%40mail.gmail.com.