The second suggestion I think won't work properly because it is easy to decrease a selection as well or change it altogether. For example using the keyboard I select with the key down but then decide to go upwards. With the mouse even crazier selection can be done.
Your first suggestion I find interesting though and I think might be worth to explore to see how well it works in practice.
Thanks for the suggestions.
The second suggestion I think won't work properly because it is easy to decrease a selection as well or change it altogether. For example using the keyboard I select with the key down but then decide to go upwards. With the mouse even crazier selection can be done.
Your first suggestion I find interesting though and I think might be worth to explore to see how well it works in practice.
Any PR is very welcome at https:/ /github. com/diodon- dev/diodon