Re: [racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Shu-Hung You
On Fri, Jan 24, 2020 at 10:37 PM Jordan Johnson wrote: > > On 24 Jan 2020, at 14:00, Robby Findler wrote: > > In the preferences dialog, in the General tab, the last checkbox is > > the one you want. > > The one for saving files upon switching tabs? > That new options is added in the upcoming

Re: [racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Jordan Johnson
On 24 Jan 2020, at 14:00, Robby Findler wrote: > In the preferences dialog, in the General tab, the last checkbox is > the one you want. The one for saving files upon switching tabs? > But let me confirm: the reason it is painful to turn on the preference > is that you have to choose a file?

Re: [racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Robby Findler
In the preferences dialog, in the General tab, the last checkbox is the one you want. But let me confirm: the reason it is painful to turn on the preference is that you have to choose a file? Would it work well for you if it only wanted to save files that already had filenames? Robby On Fri,