1. 2013-08-31 [4] [ jEdit-users ] Unable to update plugins jedit-use Jim Byrnes 2. 2013-08-30 [6] Re: [ jEdit-users ] jEdit 5.1 is not painting screen jedit-use Darien Brown 3. 2013-08-30 [1] [ jEdit-users ] [ jEdit-announce ] Plugin Release Ann jedit-use Eric Berry 4. 2013-08-28 [2] [ jEdit-users ] Set line endings jedit-use Alan Ezust 5. 2013-08-19 [1] Re: [ jEdit-users ] Moving caret column left or right jedit-use Patrick Eibl 6. 2013-08-15 [1] Re: [ jEdit-users ] Question about editing java's pro jedit-use Vampire 7. 2013-08-15 [3] [ jEdit-users ] File System Browser jedit-use Vampire 8. 2013-08-15 [7] [ jEdit-users ] Search finds some hex values not othe jedit-use Vampire 9. 2013-08-15 [2] [ jEdit-users ] Search finds some hex values not oth jedit-use John Sampson