Updated: mintty 2.9.4

[Thomas Wolff <towo at towo dot net>]

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