Re: [ jEdit-devel ] Hypersearch is modal? Should it be a plugin?


Thread view