| Fri, 15 Nov 2024 21:04:51 +0100 | wenzelm | enforce rebuild of Isabelle/ML and Isabelle/Scala; | changeset | files |
| Fri, 15 Nov 2024 20:48:41 +0100 | wenzelm | update to jedit-20241115 (see also ecd62f7b3644 and d92d754b5dd9); | changeset | files |
| Fri, 15 Nov 2024 20:44:49 +0100 | wenzelm | more patches for the sake of SideKick 1.8 vs. jEdit 5.7.0: provide missing GUIUtilities.isPopupTrigger, avoid StatusBar messages (which often don't fit); | changeset | files |
| Fri, 15 Nov 2024 16:50:44 +0100 | wenzelm | tuned comments; | changeset | files |
| Fri, 15 Nov 2024 16:08:56 +0100 | wenzelm | clarified key events: cancel output selection, before input selection; | changeset | files |
| Fri, 15 Nov 2024 16:04:26 +0100 | wenzelm | proper focus to support subsequent copy-paste via keyboard; | changeset | files |