Re: [racket-users] DrRacket prefs?

2018-05-24 Thread Stephen Foster
Wow! This is great, thanks! On Thu, May 24, 2018 at 11:47 AM Robby Findler wrote: > It may be easier to use the higher-level library, calling > preferences:set-default and preferences:set. Using that approach has > the advantage you don't need to know all of the prefs (that are > machine config

Re: [racket-users] DrRacket prefs?

2018-05-24 Thread Robby Findler
It may be easier to use the higher-level library, calling preferences:set-default and preferences:set. Using that approach has the advantage you don't need to know all of the prefs (that are machine config and OS specific, generally), but it has the disadvantage that you need to figure out what the

Re: [racket-users] DrRacket prefs?

2018-05-24 Thread Stephen Foster
Nice! I'll try that! On Thu, May 24, 2018 at 11:34 AM Shu-Hung You < shu-hung@eecs.northwestern.edu> wrote: > Hi Stephen, > > Running (find-system-path 'pref-file) in the REPL shows the path to > the preference file. Inside the file there's one line like: > > (plt:framework-pref:framework:di

Re: [racket-users] DrRacket prefs?

2018-05-24 Thread Shu-Hung You
Hi Stephen, Running (find-system-path 'pref-file) in the REPL shows the path to the preference file. Inside the file there's one line like: (plt:framework-pref:framework:display-line-numbers #t) I don't know if directly copying the pref file to another computer would work but perhaps worth a try