| Tue, 20 May 2025 16:52:27 +0200 | wenzelm | more robust Global Options panel: re-init OptionPane after switch, e.g. after change of "lookAndFeel" and re-init of GutterOptionPane, which implicitly depends on com.formdev.flatlaf.FlatLaf.isLafDark() -- requires to update jedit component; | file | diff | annotate |
| Tue, 20 May 2025 16:24:45 +0200 | wenzelm | more scalable icons -- requires to update jedit component; | file | diff | annotate |
| Tue, 20 May 2025 15:32:24 +0200 | wenzelm | proper scalable icon, also for dark mode -- requires to update jedit component; | file | diff | annotate |
| Thu, 15 May 2025 22:55:29 +0200 | wenzelm | explicit support for dark GUI themes in Isabelle/jEdit; | file | diff | annotate |
| Wed, 14 May 2025 11:31:23 +0200 | wenzelm | simplified structure of patches; | file | diff | annotate | base |