diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-16 21:02:05 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-16 21:02:05 -0400 |
| commit | ad79b76fbf6d3752035db715290487966d1e5132 (patch) | |
| tree | eb90e2f76ed56077f778e2b4eb942fc19ecc2abb /scripts | |
| parent | 1d1118b1049b26d2fac60c229981d10a54d61b69 (diff) | |
| download | textadept-ad79b76fbf6d3752035db715290487966d1e5132.tar.gz textadept-ad79b76fbf6d3752035db715290487966d1e5132.zip | |
Always refresh in the terminal version during incremental find.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions