diff options
| author |  mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-25 23:59:12 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-25 23:59:12 -0400 |
| commit | 27f86d967cef13620101cff60a82c65302ee1877 (patch) | |
| tree | ce17eee9322ece597eebe6ab0f2c267ebe5448ea /MEDIA.md | |
| parent | dfcb98978d6fba1d9a79279d01b05cc2fd184556 (diff) | |
Find & Replace Pane now allows file filters to be specified for Find in Files.
Also updated `ui.find.focus()` to accept an optional table of options (e.g.
in_files, incremental, etc.) for convenience.
Diffstat (limited to 'MEDIA.md')
0 files changed, 0 insertions, 0 deletions