Updated: mintty 2.4.3 and test release mintty 2.5.0

[Thomas Wolff <towo at towo dot net>]

I have uploaded mintty 2.4.3 with the following changes:

  * Fix trails when moving other window over mintty under certain 
conditions (#576).
  * Fix format of double child creation error message.

I have also uploaded mintty 2.5.0 as a test release with the following 
change:

  * Revise DPI handling (#470; #492, #487); always consider individual 
monitor DPI.

Note that this release introduces a slightly incompatible change in mintty.
The issue is that the interpretation of font size used to be suitable 
for traditional resolution monitors and did not consider higher-DPI 
monitors or the Windows monitor "zooming" feature which adjusts a 
virtual DPI.
As a result, the handling of changed DPI (when moving the window to 
another monitor) introduced in 2.2.1 interfered with other aspects, the 
initial DPI was not considered, and a number of unpleasant side effects 
were occasionally observed.

I intend to change DPI handling to be consistent with the respective 
monitor DPI (as optionally configured by "zooming factor"), and to 
comply with font size interpreation of other applications, e.g. notepad. 
In consequence the initial font size may be smaller (or larger) than 
before, depending on the actual monitor geometry and configuration. 
Nothing would change on a "standard" monitor configuration. To 
compensate, some people may have to change their font size configuration.

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

------
Thomas