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-----