Re: 11.5.1.3

Gwen <info-9+ZLLfqyy5COJsaolrKA/[email protected]> Sat, 3 Jan 2026 09:35:52 +0100
Newsgroups gmane.mail.the-bat.beta
Message-ID <[email protected]>
Hello Jernej, hello list,

Known issue.
Was reported by me in a support ticket end of 2025.
0002330: text size of source viewer and editor too large

On Fri, 2 Jan 2026, at 19:09:42 [GMT +0100] (which was 19:09 where I

live) Jernej wrote:

On Thursday, December 25, 2025, 10:52:12, Jernej Simončič wrote:

Bug is still present in Christmas Edition (and also affects plain text editor).

Additionally I noticed that the right-click menu in HTML viewer is offset to the top-right (likely related to high-DPI mode).

Both of these problems remain in v12. Also note the first line in the Source viewer – font size is correct for Return-Path, but this only happens the first time Source Viewer is opened:

--
< Jernej Simončič ><><><><>< https://eternallybored.org/ >

Those who have the shortest distance to travel invariably arrive latest.
-- Law of Late-Comers

TheBat! Version 12.0 (64-bit), Windows 11 10.0.26200

--
Regards
Gwen
German Beta tester
batboard.net

Using The Bat! Version 12.0 (32-bit) on Windows 11 10.0 (Build 26200 )
int_1.png (image/png, 62.9 KB) - not displayed
signature.asc (application/pgp-signature, 829 B)
-----BEGIN PGP MESSAGE-----

iQIzBAEBCgAdFiEEqFbLGRNxvyHi+dwJJpIY0JLdUO0FAmlY1OgACgkQJpIY0JLd
UO2nVQ/9FhC/qQ14BfC4yeCdWNHAXCbt23XfMBTonSkZ1edzJLHGwf6fjm9ZXQnn
ddbtAeY+KA4bGM8j57aIqXkmCnUBJbjAuPa9hkvVHatrk4QYELq9gRlOG/WQv19d
WSsfRh3/PdmDvoOGfLZsApXI3UU7V1qPferX03i0gbnIbdGv/fnPB5WrhOxdtmgx
wkLr1KUZs1sUVQubGUL54iex+8LzBhoGWtC/RPXb8Ik8BVEo70HyeqEjPuMFt3wK
EwUhpBonBlZ7F6bJdKpzgZ6S6ts61S+hArUWc5n68NcuJ0w8fIPPUrM4sEpb0+1b
9h3iVWu4QUi6QwL2fB6bQ5okjOD0TRG7XAgw+Whnarv2uKMWFw1jGWdI0EJbKKiu
42HSgBuy3vMWcDUmzFhRNqbDkNSDKBY3HStgE5IgUKcRVO/1Ja3wPK61v2d6fgbv
dLvqyCN9hXnHiczqXad51VelhrQR9AWvAVJswhy4bPaBs7TVCGimF75YPeOEgQGM
GOB0y4h+KwjMfIwnk5f8F5XKXgmV6u2d/JRXHvS1A2gOKQpAL4vB4S3ESmCfS6IP
moalHFfF76e8obCFYu30iFZs8ezuzCc0mbOMyEE6I07q+p6QYkGDi7uoVRreREoL
V/tBH/D1uyEMBzaN4HzYlz8zRWBRXmT9PfwlfE9B5DUdvSyNHpc=
=jqTd
-----END PGP MESSAGE-----