[ANNOUNCEMENT] Updated: mintty 3.1.6

[Thomas Wolff]

Hi Takashi,

Am 22.05.2020 um 11:22 schrieb Takashi Yano via Cygwin:
> Hi Thomas,
>
> On Thu, 21 May 2020 19:41:27 +0200
> Thomas Wolff wrote:
>> I have uploaded mintty 3.1.6 with the following changes:
>>
>> Window handling
>>     * Fixed resource leak when displaying images (#995).
>>     * Fixed crash condition on keyboard auto-repeat (#996). (Apologies
>> for this one.)
>>
>> The homepage is at http://mintty.github.io/
>> It also links to the issue tracker.
> After v3.1.5, the key repeat rate becomes almost halfened.
> Is this behaviour by design?
>
> The key repeat rate is about 30 chars/sec in v3.1.4, but
> it is 15 chars/sec in v3.1.5 and v3.1.6.
>
> It is little bit flustrating in editor cursor movement.
>
I've uploaded a commit: keyboard auto-repeat handling is now unaffected 
by default
Explanation: the new auto-repeat rate limitation with a maximum of 30 
cps (following the DECARR sequence of VT520) was effectively slowing 
down keyboards; I had the impression 30 would be enough... sorry
Thomas