It turns out it probably had something to do with me plugging in my main
monitor right before logging-in. I also noticed other apps being affected
(not this way; there was a strange "fuzziness" with certain controls'
fonts). Logging-out and back in, fixed it.

Thanks for replying though,
Constantine

PS.: I had forgotten that the list blocks certain MIME attachments.
Nevermind.

--
There is a computer disease that anybody who works with computers knows
about. It's a very serious disease and it interferes completely with the
work. The trouble with computers is that you 'play' with them!
- Richard P. Feynman


On Mon, Nov 3, 2025 at 2:38 PM Tilman Hausherr <[email protected]>
wrote:

> Hi,
>
> This happened for me some time ago, but it went away with the next java
> update. Your image didn't get through.
>
> You can configure some of the properties by having a file
> "config.properties". Here are my values:
>
> treeRowHeight=18
> treePathFontHeight=15
> treePathHeight=30
> textFontHeight=16
>
>
> Tilman
>
> Am 03.11.2025 um 13:33 schrieb Constantine Dokolas:
> > After updating to Windows 11 25H2 I noticed that the debugger app has
> > some fonts in larger size. This happens for me only with JREs >=10 but
> > not 1.8.
> >
> > My display is not scaled.
> >
> > image.png
> >
> > Anyone familiar with this issue?
> >
> > Regards,
> > Constantine
> >
> > --
> > There is a computer disease that anybody who works with computers
> > knows about. It's a very serious disease and it interferes completely
> > with the work. The trouble with computers is that you 'play' with them!
> > - Richard P. Feynman
>
>

Reply via email to