diff options
| author | Junegunn Choi <junegunn.c@gmail.com> | 2020-05-18 02:33:37 +0900 |
|---|---|---|
| committer | Junegunn Choi <junegunn.c@gmail.com> | 2020-05-18 02:43:58 +0900 |
| commit | 97a725fbd0e54cbc07e4d72661ea2bd2bb7c01c1 (patch) | |
| tree | 1508b3c1bf2ae5d649e43c342b5cc27e83a75505 /src/tui/tui.go | |
| parent | ace92ba281669df7f1d5c434789c454e98dde45b (diff) | |
| download | fzf-97a725fbd0e54cbc07e4d72661ea2bd2bb7c01c1.tar.gz | |
Do not disable mouse after execute(-silent) when --height option is used
The action takes place in the alternate screen so the offsets should
still be correct.
Diffstat (limited to 'src/tui/tui.go')
| -rw-r--r-- | src/tui/tui.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tui/tui.go b/src/tui/tui.go index 4968b366..f5ebb161 100644 --- a/src/tui/tui.go +++ b/src/tui/tui.go @@ -275,7 +275,7 @@ func MakeTransparentBorder() BorderStyle { type Renderer interface { Init() Pause(clear bool) - Resume(clear bool) + Resume(clear bool, sigcont bool) Clear() RefreshWindows(windows []Window) Refresh() |