1. 2017-07-28 [5] [ jEdit-users ] Creating a plugin for jEdit...helper plugi jedit-users sigzero 2. 2017-07-25 [8] [ jEdit-users ] todo.txt plugin anywhere? jedit-users sigzero 3. 2017-07-24 [6] [ jEdit-users ] unicode entirely via buffer jedit-users e-letter 4. 2017-07-22 [1] Re: [ jEdit-users ] jEdit-users Digest, Vol 129, Issue 1 jedit-users e-letter