1. 2024-05-08 Re: [ jEdit-devel ] weird windows-only problems with jedit-dev Alan Ezust 2. 2024-05-08 [ jEdit-devel ] weird windows-only problems with text jedit-dev Alan Ezust