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