wenzelm [Sat, 23 Aug 2025 15:18:34 +0200] rev 83038
more robust GUIUtilities.getComponentParent: allow subclasses, notably for View, EditPane etc.;
wenzelm [Sat, 23 Aug 2025 13:45:59 +0200] rev 83037
support for ViewFactory and TextAreaPainterFactory as services --- no update of jedit component yet;
wenzelm [Sat, 23 Aug 2025 12:35:32 +0200] rev 83036
clarified patches: this is hardly modular anymore;
wenzelm [Fri, 22 Aug 2025 22:45:30 +0200] rev 83035
merged
wenzelm [Fri, 22 Aug 2025 22:30:56 +0200] rev 83034
more realistic TextArea.AccessibleContext, including AccessibleText with partial operations: works for NVDA, but not for VoiceOver;
bypass redundant nesting of TextAreaPainter;
wenzelm [Fri, 22 Aug 2025 21:42:22 +0200] rev 83033
tuned whitespace;
wenzelm [Fri, 22 Aug 2025 16:33:37 +0200] rev 83032
more standard treatment of AccessibleContext, following existing Swing components;
wenzelm [Fri, 22 Aug 2025 16:01:09 +0200] rev 83031
basic support for accessible jEdit components;
wenzelm [Fri, 22 Aug 2025 15:53:50 +0200] rev 83030
update to jedit-20250822, with support for EditPaneFactory and JEditTextAreaFactory as services;
wenzelm [Fri, 22 Aug 2025 13:30:21 +0200] rev 83029
clarified patches: this is hardly modular anymore;