[New mintty version] 3.7.0

[github-actions]

Misc

• Fix memory leak (mintty/wsltty#340) caused by dynamic emoji checking.
• Revise and unify handling of dynamic pathnames for terminal control.
• Guard network access via dynamic pathnames.

Unicode and Emoji data

• Unicode 15.1 update.
• Adapt getemojis script to reduced format of unicode.org emoji charts (#1240).

Terminal features

• Tweak mousewheel scrolling: do not mix line and page events (#1234).
• Tweak mousewheel scrolling: page scrolling one line less, consistent with keyboard paging (#1234).
• Send Alt modifier with mousewheel events (#1234).
• New DECSET 7765 to exchange normal and Alt-modified mouse wheel scrolling (#1234).
• Tweak double-click filename/URL selection with colon (#1236).
• Filter paste characters causing interrupt signals, according to the current stty settings.
• Fixed background in HTML screen dump.

Window handling

• Better error handling if click-opening file fails.
• Save image file with proper access rights.

Font rendering

• Support size adjustment of alternative fonts, for use as secondary fonts (mintty/wsltty#341).

Configuration

• Alternative font specification supports initial + for size increase (mintty/wsltty#341).
• New option GuardNetworkPaths.
• Added STTY to FilterPasteControls settings (xterm 388), as default.

https://github.com/mintty/mintty/releases/tag/3.7.0

[dscho]

I was on the fence here, because we're so late in the -rc phase. But MinTTY is a really important part of Git for Windows and I see a couple of bug fixes that I'd like to have. I'll risk it.

[dscho]

/open pr

The workflow run was started