Closed GoogleCodeExporter closed 8 years ago
In Windows 7 (and presumably 8), you can already do this for any window by
double-clicking on the upper or lower window edge. I don't want to invest
effort into a mintty-specific solution for older Windows versions.
Original comment by andy.koppe
on 6 Sep 2012 at 11:47
Original issue reported on code.google.com by
towom...@googlemail.com
on 5 Sep 2012 at 8:57