Email Gateway (Aug 23 2022 at 08:40): Email Gateway (Aug 23 2022 at 08:40):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
Running Isabelle2020-RC2 under Ubuntu 18.04, I was editing options in Global Options jEdit.
This time, I do not know exactly what all I changed, but I do recall checking "Line numbers"
under "Optional gutter components", fiddling with some font sizes under "Appearance",
and setting "subpixel HRGB" under Text Area/Anti Aliased smooth text. When I clicked on OK,
a NullPointerException was triggered (stack trace below).
Last updated: Apr 25 2024 at 20:15 UTC