diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2023-03-03 11:42:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-03 11:42:31 +0100 |
| commit | 1ec3d28ff6aebb8a4702ff423377d0a79857035c (patch) | |
| tree | 8350df1809c067cbc8626ca806e873e7ce974cfb /data/core/commandview.lua | |
| parent | 2035886fcd8c5a1a6406f9adfb84d1a4d78abdc9 (diff) | |
| download | pragtical-1ec3d28ff6aebb8a4702ff423377d0a79857035c.tar.gz pragtical-1ec3d28ff6aebb8a4702ff423377d0a79857035c.zip | |
Use correct view for scrolling to `find-replace:repeat-find` results (#1400)
Diffstat (limited to 'data/core/commandview.lua')
0 files changed, 0 insertions, 0 deletions