@milangupta Nice suggestion, thanks. I will add this soon.
@addstar Thanks for all the pointers. I will need to work on improving that key selects. I didn’t approach changing the keyboard shortcut at all yet.
Maybe I will have to use some JS, like this one https://stackoverflow.com/a/69860307/4490927
