Updated: mintty 2.9.4

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