v8.1.2257
ae20f340 · patch 8.1.2257: MS-Windows GUI: scroll wheel always uses current window ·