Updated: mintty 3.1.4

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