Updated: mintty 2.9.4

[Thomas Wolff]

I have uploaded mintty 2.9.4 with the following changes:

Terminal features
 Â  * Copy as HTML (#811).
 Â  * Mitigate stalling on very long paste buffer lines (#810).
 Â  * New CSI DECLL (VT100, xterm) to switch keyboard LEDs (and their 
associated modifier function).
 Â  * New CSI > 0/2 p to switch option HideMouse (xterm pointerMode).

Appearance
 Â  * Option Background== for floating window effect (using desktop 
wallpaper as background) (#18, ~#666, ~~#501).

Window handling
 Â  * Fixed suspend-output-while-selecting buffer, size is configurable 
(#816, ~#799).
 Â  * Consider glyph width for font width determination (#808).
 Â  * Do not start process to construct process list for exit 
confirmation (~#448).
 Â  * Enhanced taskbar icon grouping behaviour (#784, mintty/wsltty#96, 
?#495, ?#420, ??#801).
 Â  * Setting MINTTY_SHORTCUT when started from a desktop shortcut.
 Â  * Maintain proper terminal size after DPI change in DPI awareness 
mode V2 (#774).

Configuration
 Â  * AppID supports placeholders for flexible customization of taskbar 
icon grouping behaviour (#784, mintty/wsltty#96, ?#495, ?#420, ??#801).
 Â  * Option SuspendWhileSelecting to set the max size of the 
suspend-output-while-selecting buffer (#816, ~#799).

The homepage is at http://mintty.github.io/
It also links to the issue tracker.

------
Thomas