…nstallation When Python 2 was used and the plugin had not been used before, adding the default values for the File Types dropdown caused an assertion error, as the default file types were no Unicode strings.
|Failed to load latest commit information.|
|file-search||fix exception when opening search dialog on older Gedit after fresh i…|
|testfiles||add test file for GNU Grep bug regarding Turkish Unicode characters|
|.gitignore||python3 port: add __pycache__ dir to gitignore|
|Makefile||Makefile: add plugin_common.py to release tgz|
|README||README: add note about missing gir1.2-gtksource-3.0 package|
|TODO||extend Todo list|
|file-search-before-gedit38||python3 port: adjust file-search.plugin file to request new loader|
|file-search-before-gedit38.plugin||python3 port: adjust file-search.plugin file to request new loader|
|file-search.plugin||python3 port: adjust file-search.plugin file to request new loader|
|notes-de.txt||some initial doc files|
|notes.txt||update notes for making a new release (add RCs, adjust to Github chan…|
File Search Plugin for Gedit ============================= This is a search plugin for Gedit to search for a text inside a directory. The plugin was tested with Gedit 3.4.1 under Ubuntu 12.04, and with Gedit 3.8.3 under Fedora 19. It should also work under other versions of Gedit 3. Note that Gedit 2 and older are not supported by this plugin any more (there is an old version of this plugin available, though, which supports Gedit 2). Installation ------------- * download the plugin  * unpack the tgz file * copy the contents of the gedit-file-search folder to ~/.local/share/gedit/plugins/ (create that folder if necessary) * start Gedit, go to Edit -> Preferences -> Plugins, and enable "File Search" : https://github.com/oliver/gedit-file-search/releases Use Search -> Find in files, or right-click in a document and select Search files... to open the search dialog. Note: if the plugin cannot be enabled, you might need to install support for Python-based plugins. For Ubuntu-like systems, run "sudo apt-get install gir1.2-gtksource-3.0" in terminal. For other systems, look for a software package like "gedit-plugins" - installing it should fix the problem.