wenzelm [Tue, 20 May 2025 15:32:24 +0200] rev 82634
proper scalable icon, also for dark mode -- requires to update jedit component;
wenzelm [Tue, 20 May 2025 15:18:35 +0200] rev 82633
clarified default properties -- requires to update jedit component;
wenzelm [Tue, 20 May 2025 12:41:53 +0200] rev 82632
explicit verbose option;
wenzelm [Tue, 20 May 2025 12:31:25 +0200] rev 82631
clarified default properties -- requires to update jedit component;
haftmann [Sun, 18 May 2025 14:33:01 +0000] rev 82630
dropped unused ML bindings
wenzelm [Fri, 16 May 2025 20:44:51 +0200] rev 82629
merged
wenzelm [Fri, 16 May 2025 20:31:52 +0200] rev 82628
clarified tooltip colors;
wenzelm [Fri, 16 May 2025 12:41:42 +0200] rev 82627
more standard color properties, following org.gjt.sp.util.SyntaxUtilities.getColorHexString();
wenzelm [Fri, 16 May 2025 12:10:49 +0200] rev 82626
tuned colors;
wenzelm [Thu, 15 May 2025 22:55:29 +0200] rev 82625
explicit support for dark GUI themes in Isabelle/jEdit;