diff options
| author | Jefferson González <jgmdev@gmail.com> | 2023-12-13 18:53:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-13 18:53:38 -0400 |
| commit | f99d8f290e1e5048e604c0a537c41a9550f6812f (patch) | |
| tree | 93f5ac3b8bef861b8a41985e8d9a45383bc8be6c /subprojects/plugins.wrap | |
| parent | fc12a1a2b6c66da81868bcc5f11320ec76151b25 (diff) | |
| download | pragtical-f99d8f290e1e5048e604c0a537c41a9550f6812f.tar.gz pragtical-f99d8f290e1e5048e604c0a537c41a9550f6812f.zip | |
Add project wide search and replace support (#48)
* Added whole word doc search support
* Added support for project wide search and replace
* Also added whole word matching support
* other improvements to search_ui and projectsearch plugins
Diffstat (limited to 'subprojects/plugins.wrap')
0 files changed, 0 insertions, 0 deletions