selection: extending a selection is now interactive

That is, a selection extension can be resized just like an ordinary
extension.
This commit is contained in:
Daniel Eklöf 2020-07-27 16:44:41 +02:00
parent 50bd51c4d4
commit 7127a0a6c3
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
3 changed files with 12 additions and 10 deletions

View file

@ -37,13 +37,15 @@
outside it.
* Scrollback search to focus match, that requires a viewport change,
roughly in the center of the screen.
* Extending a selection with the right mouse button now works while
dragging the mouse.
### Deprecated
### Removed
### Fixed
* Crash in scrollback search
* Crash in scrollback search.
* Crash when a **pipe-visible** or **pipe-scrollback** command
contained an unclosed quote
(https://codeberg.org/dnkl/foot/issues/49).