| Mon, 28 Jun 2021 14:11:53 +0200 |
wenzelm |
clarified modules (again): services require full Isabelle/Scala environment;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 13:45:46 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 22:30:32 +0100 |
wenzelm |
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 23:02:58 +0100 |
wenzelm |
clarified application init;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 21:46:35 +0100 |
wenzelm |
proper dock icon for macOS;
|
file |
diff |
annotate
|
| Mon, 04 Sep 2017 20:55:06 +0200 |
wenzelm |
tuned signature -- avoid warning during jEdit startup;
|
file |
diff |
annotate
|
| Mon, 04 Sep 2017 15:25:25 +0200 |
wenzelm |
more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 15:42:10 +0200 |
wenzelm |
clarified startup sequence;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 14:58:19 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2017 15:53:35 +0200 |
wenzelm |
more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 14:03:23 +0200 |
wenzelm |
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
|
file |
diff |
annotate
|