wenzelm [Mon, 25 Aug 2025 17:41:18 +0200] rev 83056
more accessible operations: AccessibleEditableText;
paulson [Mon, 25 Aug 2025 12:44:36 +0100] rev 83055
merged
paulson <lp15@cam.ac.uk> [Mon, 25 Aug 2025 12:44:29 +0100] rev 83054
Tweaks to ugly proofs
wenzelm [Sun, 24 Aug 2025 20:26:02 +0200] rev 83053
more robust: proper checks;
wenzelm [Sun, 24 Aug 2025 19:58:31 +0200] rev 83052
more complete operations: handle AccessibleText.WORD via jEdit operations (with their known limitations concerning non-trivial Unicode);
wenzelm [Sun, 24 Aug 2025 16:25:54 +0200] rev 83051
more accurate Unicode operations, based on existing TextArea.LineCharacterBreaker;
wenzelm [Sun, 24 Aug 2025 16:56:27 +0200] rev 83050
update jedit-20250824, according to patches;
wenzelm [Sun, 24 Aug 2025 16:36:13 +0200] rev 83049
tuned signature: more public;
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;