We need to address the idea of "search project providers" that can be made available from plugins, so that for example, the git grep can be used when a search is made under a dierctory in a git project.
More details are here: https://sourceforge.net/p/jedit/plugin-feature-requests/385/
Log in to post a comment.
More details are here: https://sourceforge.net/p/jedit/plugin-feature-requests/385/