At 12:20 PM +0100 4/19/02, Henrik Gedenryd 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.

Ah, good point. I agree. RestartAlsoProceeds should be 'false' by default.

-Martin