setup and mintty (was Re: New setup.exe release?)

[Christopher Faylor]

On Tue, May 24, 2011 at 08:44:55PM +0100, Andy Koppe wrote:
>Adding a field to the mintty options dialog would of course be
>possible, but I'd rather not, because those settings have nothing to
>do with the terminal. Also, it looks suspiciously like the start of a
>slippery slope towards options for all sorts of things.

FWIW, I agree.  I hate the "Well, you already do X you might as well
do Y argument".

Except when I use it, of course.

cgf