From ae38c81e54986c005621b2e08a0e1b089a1c32a4 Mon Sep 17 00:00:00 2001 From: mintty Date: Mon, 8 Jun 2020 19:22:24 +0200 Subject: [PATCH] 3.1.8 --- VERSION | 2 +- docs/mintty.1.html | 27 +++++++++++++++++++-------- lang/messages.pot | 2 +- src/appinfo.h | 2 +- wiki/Changelog.md | 2 ++ 5 files changed, 24 insertions(+), 11 deletions(-) diff --git a/VERSION b/VERSION index 23887f6e..c848fb9c 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.1.7 +3.1.8 diff --git a/docs/mintty.1.html b/docs/mintty.1.html index 8d5fd1c7..851ae02e 100644 --- a/docs/mintty.1.html +++ b/docs/mintty.1.html @@ -1,5 +1,5 @@ - + @@ -1837,9 +1837,9 @@

CONFIGURATION (CtrlAltIsAltGr=no)

The AltGr key on non-US Windows -systems is a strange beast: pressing it is synonymous with +systems is a strange beast: pressing it is similar to pressing the left Ctrl key and the right Alt key at the same -time, and Windows programs usually treat any Ctrl+Alt +time, and many Windows programs treat any Ctrl+Alt combination as AltGr.

Some programs, @@ -1858,6 +1858,17 @@

CONFIGURATION makes no difference for keys without AltGr key bindings (e.g. any key on the standard US layout).

+

AltGr is also Alt +(AltGrIsAlsoAlt=no)

+ +

This setting enables fallback +of the AltGr key to the function of the Alt modifier for +those keys that do not have an AltGr mapping in the keyboard +layout.

+ +

The setting +makes no difference for keys with AltGr key bindings.

+

Allow delay for AltGr detection (CtrlAltDelayAltGr=0)

@@ -3376,12 +3387,12 @@

CONFIGURATION to 0/false to suppress DPI adjustments.

Check availability of mintty -version update (CheckVersionUpdate=900)

+version update (CheckVersionUpdate=0)

-

If non-zero, mintty checks -whether there is a version update available whenever the -Options dialog is opened and this was not checked within the -last given number of seconds.

+

If non-zero (e.g. 900), mintty +checks whether there is a version update available whenever +the Options dialog is opened and this was not checked within +the last given number of seconds.

Sixel image clipboard substitution (SixelClipChars=space)

diff --git a/lang/messages.pot b/lang/messages.pot index 2e055046..fbfc0ca0 100644 --- a/lang/messages.pot +++ b/lang/messages.pot @@ -8,7 +8,7 @@ msgid "" msgstr "" "Project-Id-Version: mintty\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2020-06-08 01:43+0200\n" +"POT-Creation-Date: 2020-06-08 15:48+0200\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME \n" "Language-Team: LANGUAGE \n" diff --git a/src/appinfo.h b/src/appinfo.h index 714e2351..44a26e52 100644 --- a/src/appinfo.h +++ b/src/appinfo.h @@ -6,7 +6,7 @@ #define MAJOR_VERSION 3 #define MINOR_VERSION 1 -#define PATCH_NUMBER 7 +#define PATCH_NUMBER 8 #define BUILD_NUMBER 0 // needed for res.rc diff --git a/wiki/Changelog.md b/wiki/Changelog.md index a811d626..13e6b085 100644 --- a/wiki/Changelog.md +++ b/wiki/Changelog.md @@ -1,3 +1,5 @@ +### 3.1.8 (7 June 2020) ### + Terminal features * Handle new lines within OSC strings, ignore for image data (#1010).