1. 2009-07-25 Re: [ jEdit-devel ] MARK_PREVIOUS and DELEGATE jedit-dev Romain Francois 2. 2009-03-29 Re: [ jEdit-devel ] MARK_PREVIOUS and DELEGATE jedit-dev Romain Francois 3. 2009-03-29 Re: [ jEdit-devel ] MARK_PREVIOUS and DELEGATE jedit-dev Kevin Hunter 4. 2009-03-26 [ jEdit-devel ] MARK_PREVIOUS and DELEGATE jedit-dev Romain Francois