| Tue, 22 Apr 2025 17:49:56 +0200 | wenzelm | more FlatLaf operations (following 35d176c50867) -- requires to update jedit component; | file | diff | annotate |
| 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); | file | diff | annotate | base |