A new bug was spotted with the current code so another commit tries to
fix that and there are refreshed downloads.
The problem was that text would jiggle around while editing on Win32
using GDI (technology=0).
This was due to the use of lower-precision 32-bit floats with a
compensating calculation instead of 64-bit doubles. Unfortunately,
this can produce small inaccuracies such as a position of 10.0 being
stored as 9.999999. The Win32 GDI platform layer code then truncated
this to 9. The 9.999999 value appears OK with most platform layers
which use floating point coordinate spaces.
The Win32 platform layer could round for GDI coordinates but this
wouldn't help any other independent platform layers using integer
coordinates. Therefore, positions just below an integer are forced up
to that integer. This was committed with this change set.
https://sourceforge.net/p/scintilla/code/ci/967909317010991a346f13ec8b9ccd4207da347a/
This change occurs at retrieval and performs more calculations so will
be slower. This may change after the release to moving problematic
values up by a minimal amount when storing which occurs much less
frequently.
The committed change can be examined either in the repository