diff options
| author | Emi | 2024-03-17 22:06:24 +0000 |
|---|---|---|
| committer | GitHub | 2024-03-17 22:06:24 +0000 |
| commit | 761df60077bf33cb1077eb4cb019885ea3dd6ae7 (patch) | |
| tree | 5341b0623b3ad45317d243b1a7840c3d92da9b90 /.gitignore | |
| parent | 6fea7876a47df8627a4b40361a6fc0f692c6601f (diff) | |
Keybind for Extend/shrink selection up and down (#9080)
* implement another selection modifying command
* Selection feels more ergonomic in case of swapping the direction. This also fixes a problem when starting at an empty line.
* rename select_line_up/down to select_line_above/below
* apply clippy suggestion of using cmp instead of if-chain
* revert `Extent` implementing `Clone/Copy`
* move select_line functions below extend_line implementations
* implement help add function, which saturates at the number of text lines
---------
Co-authored-by: Emi <emanuel.boehm@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions