| Wed, 21 May 2025 17:42:38 +0200 |
wenzelm |
clarified colors for "dark" theme -- requires to update jedit component;
|
file |
diff |
annotate
|
| Tue, 20 May 2025 15:18:35 +0200 |
wenzelm |
clarified default properties -- requires to update jedit component;
|
file |
diff |
annotate
|
| Tue, 20 May 2025 12:41:53 +0200 |
wenzelm |
explicit verbose option;
|
file |
diff |
annotate
|
| Tue, 20 May 2025 12:31:25 +0200 |
wenzelm |
clarified default properties -- requires to update jedit component;
|
file |
diff |
annotate
|
| Fri, 16 May 2025 12:41:42 +0200 |
wenzelm |
more standard color properties, following org.gjt.sp.util.SyntaxUtilities.getColorHexString();
|
file |
diff |
annotate
|
| Thu, 15 May 2025 22:55:29 +0200 |
wenzelm |
explicit support for dark GUI themes in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2025 17:14:30 +0200 |
wenzelm |
more accurate GUI property (amending 49ca1a40c04a) -- requires to update jedit component;
|
file |
diff |
annotate
|
| Thu, 17 Apr 2025 00:25:58 +0200 |
wenzelm |
tuned icons -- requires to update jedit component;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2025 23:16:11 +0200 |
wenzelm |
bundle idea-icons-20250415 with jedit -- requires to update jedit component;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2025 22:52:32 +0200 |
wenzelm |
bundle SVG tango icons with jedit -- requires to update jedit component;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2025 12:52:04 +0200 |
wenzelm |
suppress NavigatorPlugin and its dependencies -- requires to update jedit component;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2025 12:37:14 +0200 |
wenzelm |
prefer search bar (with navigation buttons) over old-fashioned tool bar -- requires to update jedit component;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2025 12:04:13 +0200 |
wenzelm |
add navigation buttons to search bar, depending on property "navigate-toolbar" -- requires to update jedit component;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2025 22:09:45 +0200 |
wenzelm |
prefer generic action names, to be injected into jEdit codebase eventually;
|
file |
diff |
annotate
|
| Tue, 01 Apr 2025 21:37:02 +0200 |
wenzelm |
clarified actions and keyboard shortcuts --- requires to update jedit component;
|
file |
diff |
annotate
|
| Tue, 01 Apr 2025 20:59:01 +0200 |
wenzelm |
tuned GUI (see also a01c1f874362) --- requires to update jedit component;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2025 15:06:38 +0100 |
wenzelm |
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2025 14:17:38 +0100 |
wenzelm |
more accurate patch: change jEdit source directory and copy to installation directory;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2025 14:00:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2025 12:58:40 +0100 |
wenzelm |
more complete brackets for jEdit modes;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2025 12:47:21 +0100 |
wenzelm |
tuned: more robust Isabelle symbols;
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 11:53:26 +0100 |
wenzelm |
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
|
file |
diff |
annotate
|
| Fri, 15 Nov 2024 15:18:48 +0100 |
wenzelm |
removed obsolete option: jEdit 5.7.0 can be built with default jdk;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2024 12:19:45 +0100 |
wenzelm |
performance tuning for macOS (after update of "jedit" component): old OpenGL works better for text rendering;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2024 16:53:10 +0100 |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
file |
diff |
annotate
|
| Tue, 29 Oct 2024 12:30:15 +0100 |
wenzelm |
update to jedit5.7.0;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 22:54:44 +0100 |
wenzelm |
renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
|
file |
diff |
annotate
| base
|