goran.hultgren at bluefish.se wrote:
> 
> Henrik Gedenryd <h.gedenryd at open.ac.uk> wrote:
> > > (restartAlsoProceeds true)
> > 
> > I suggest that this should be off by default. When it is off, you can easily
> > proceed by issing a cmd-P, but when it is on, you cannot obtain the opposite
> > effect. It is also more helpful to beginners not to immediately proceed.
> > Currently it is "true" because that is how it used to be when this
> > improvement didin't exist, and I don't think that is a higher priority.
> 
> But perhaps we could rename it to something else than "restart" when the
> Pref is false?
> How about "reset method" or something? I mean, "restart" really does
> imply that execution commences. Right?

Absolutely.

-Jesse