wenzelm [Sun, 24 Aug 2025 15:03:19 +0200] rev 83048
more robust: hardwired default for locale-specific operations seen in jEdit sources (e.g. BreakIterator.getCharacterInstance);
wenzelm [Sat, 23 Aug 2025 22:00:12 +0200] rev 83047
clarified AccessibleName, based on current buffer --- not the initial one;
wenzelm [Sat, 23 Aug 2025 21:34:21 +0200] rev 83046
clarified signature;
wenzelm [Sat, 23 Aug 2025 21:26:05 +0200] rev 83045
more robust shutdown of main plugin, while editor continues running;
wenzelm [Sat, 23 Aug 2025 13:47:40 +0200] rev 83044
pro-forma use of ViewFactory and TextAreaPainterFactory;
wenzelm [Sat, 23 Aug 2025 20:34:37 +0200] rev 83043
update jedit-20250823, according to accumulated patches;
wenzelm [Sat, 23 Aug 2025 20:10:58 +0200] rev 83042
more accessible PanelWindowContainer: proper AccessibleName for buttons that represent dockables;
wenzelm [Sat, 23 Aug 2025 18:54:22 +0200] rev 83041
clarified GUI: move "Recent Directories" to "File" menu;
wenzelm [Sat, 23 Aug 2025 18:49:06 +0200] rev 83040
suppress "Recent Files" filter text, which happens to be absent in macOS for unknown reasons --- on Linux & Windows it makes keyboard navigation of the manu "stuck" and also prevents browsing in Windows/NVDA;
wenzelm [Sat, 23 Aug 2025 17:20:52 +0200] rev 83039
more accessible EnhancedMenuItem: uniform AccessibleName vs. menu.multiShortcut;