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
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?
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,
Hi all,
One thing I’ve noticed is new in DrRacket 7.5 is the warning dialog that pops
up upon hitting Run, saying
“The file is not saved; save it before Run?”
where may be in some other tab than the one that has focus.
This is annoying the heck out of me, as I usually tend to have at
4 matches
Mail list logo
