search

oliver / gedit-file-search

Gedit plugin to search a text in all files in a directory
https://oliver.github.io/gedit-file-search/
43 stars 11 forks source link

Refresh results button #5

Closed Delapouite closed 4 years ago

Delapouite commented 13 years ago

Hi Oliver

Would it be possible to add a refresh button just above the close button in the results panel ? I find it useful because it avoids having to search for the same query multiple times.

oliver commented 13 years ago

Yes, good idea... How about a "Search Again..." button which opens the search dialog again with the same values? That would be one more click for simple refresh but might allow other useful functionality.

jpfleury commented 13 years ago

I think a "Search Again..." button would be useful.