Re: Options dialog question

[Paul Rohr]

At 01:04 AM 2/29/00 -0800, Kevin Vajk wrote:
>My personal opinion is that it should affect the current window
>as well as all new windows, the way the View->Ruler checkbox
>does.

Agreed. 

Paul