1. 2020-06-22 [ jEdit-devel ] [jedit:patches] Re: #624 Patch for Ma jedit-dev Heklaz via jEdit-d 2. 2020-06-10 [ jEdit-devel ] [jedit:patches] Re: #624 Patch for Ma jedit-dev Makarius via jEdit 3. 2020-06-10 [ jEdit-devel ] [jedit:patches] Re: #624 Patch for Ma jedit-dev Makarius via jEdit