History

History

Writing a regex-powered search dialog seems to be the Hello world of gEdit plugin development: there are various implementations in the Internet and even I wrote one of these plugins before find the alternative ones.

One of the best options I've found is a simple plugin written by Daniel D'Andrada which only searched on documents. Rafael Silva added the functionality of replacement to the plugin. Ben Fisher corrected some bugs.

I found this informal approach to free software development amazing but it has some problems. People may start to make updates in the code without knowledge of each other. Also, there is no versioning. So I submitted the plugin to bitbucket and made some changes myself. Now, we can unify the plugin development. Even if you do want to fork the plugin, it will be easier using Mercurial.

In October 2013, Alexander Schubert from Technische Universität Dresden sent me a version compatible with Python 3 and Gedit 3.8. Thanks Alexander!

Updated

Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.