Re: [patch] fix bug 3242 - now hopefully correct

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> But users won't know this, and it costs you more time to empty an edit
> field than to uncheck the checkbox. A checkbox is more intuitive I think.

Fine with me.

Jürgen