This bug was introduced in 6.9 (but it was in git since a little before 6.8). I learned about it today, sadly.
Robby On Sat, Apr 29, 2017 at 6:30 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Apr 29, 2017, at 11:36, Philip McGrath <phi...@philipmcgrath.com> > wrote: > > > > After upgrading to 6.9, I'm getting the following "DrRacket Internal > Error" when I try to open the preferences menu on MacOS: > > > > preferences:get: tried to get a preference but no default set for > 'scribble-reindent-paragraph-width > > context...: > > /Applications/Racket > v6.9/share/pkgs/gui-lib/framework/preferences.rkt:93:0: preferences:get > > /Applications/Racket > v6.9/collects/racket/contract/private/arrow-val-first.rkt:357:18 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/scribble/private/indentation.rkt:15:1 > > /Applications/Racket > v6.9/collects/racket/contract/private/arrow-higher-order.rkt:342:33 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/framework/private/preferences.rkt:390:5 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/framework/private/preferences.rkt:289:14: > build-ppanel-tree > > /Applications/Racket > v6.9/share/pkgs/gui-lib/framework/private/preferences.rkt:261:2: > make-preferences-dialog > > /Applications/Racket > v6.9/share/pkgs/gui-lib/framework/private/preferences.rkt:243:2: show-dialog > > /Applications/Racket > v6.9/share/pkgs/gui-lib/mred/private/app.rkt:67:21 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:454:6 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:505:32 > > /Applications/Racket > v6.9/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:653:3 > > > > Is this a problem with my setup, or with DrRacket? > > Actually, I’ve been seeing this for quite some time; since well before 6.8 > came out. > > It’s a bit squirrely, though; moving the prefs file out of the way solves > the problem, and then moving it back again seems not to bring the problem > back. I think this stymied me in trying to formulate a bug report. > > But: yes, I’ve seen this a lot. > > John > > > > -- > 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+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- 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+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
