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