Updated: mintty 3.1.4

[Thomas Wolff]

I have uploaded mintty 3.1.4 with the following changes:

Terminal features
 Â  * Linux console controls for underscore cursor size (mintty/wsltty#203).
 Â  * Fixed sixel display failures at certain sizes (#967).

Window handling
 Â  * Avoid resize flickering loop in Virtual Tabs mode.
 Â  * Don't keep selection size info popup on top when defocussed (#956).
 Â  * Ctrl+mouse on title bar can be configured or disabled (#953).

Font rendering
 Â  * Fix adjusted row spacing ("Leading") for negative font leading 
(#948, #946).
 Â  * Support enabling of additional ligatures such as arrows (#601).
 Â  * Search bar button symbols configurable (#955).
 Â  * Support optional enforced single-width character rendering (#964).
 Â  * Not widening ambiguous-width Geometric Shapes, to avoid unsymmetric 
pairs.
   * Proper auto-widening (æ, œ, ...) in partially ambiguous-wide fonts 
(MS Mincho).

Configuration
 Â  * New option Ligatures (#601).
 Â  * New options MenuTitleCtrlLeft, MenuTitleCtrlRight (#953).
 Â  * Option SearchBar can configure button symbols (#955).
 Â  * New option values Charwidth=single / Charwidth=single-unicode (#964).

Other
 Â  * Fix access to shortcut icon with path prefix %ProgramW6432%.
 Â  * Fix clipboard memory handling (#950).
 Â  * Note that DropCommands does not work with WSL or remotely (#947).

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

------
Thomas