1. 2011-08-28 Re: [ jEdit-devel ] Search and Buffer Sets scope jedit-dev Matthieu Casanova 2. 2011-08-28 [ jEdit-devel ] Search and Buffer Sets scope jedit-dev Robert Schwenn