diff options
| author | Florrie <towerofnix@gmail.com> | 2018-12-28 20:05:41 -0400 |
|---|---|---|
| committer | Florrie <towerofnix@gmail.com> | 2018-12-28 20:05:41 -0400 |
| commit | 0d0a8ab505f670cb0df3bf403b919c55463d9a1c (patch) | |
| tree | 61f24aa5dfef90292d227557c76ae2fcb59097d5 /tui-lib | |
| parent | a2cc42234b93ba08bf19173b07420f7a42d74d89 (diff) | |
Automatically use previous input if empty in '/'
If you press enter in the JumpElement form while it's still empty, automatically treat the previously-entered input as the entered value, so that it's easy to quickly do a "repeated" search (you don't have to enter the same value over and over again).
Diffstat (limited to 'tui-lib')
0 files changed, 0 insertions, 0 deletions