Closed stan-janssen closed 1 year ago
This prevents this particular shortcut for interfering with the selection of text in some advanced TUI text editors like micro (fixes #676).
We already have the following shortcuts for changing tabs:
ctrl + tab, ctrl + shift + tab; ctrl + pgup, ctrl + pgdown; ctrl + shift + pgup, ctrl + shift + pgdn;
These are all consistent with both Files and Web. Terminal should follow this standard as well.
Requesting a review from @jeremypw here. I think it makes sense to standardize shortcuts here and make sure we're not interfering with terminal apps
This prevents this particular shortcut for interfering with the selection of text in some advanced TUI text editors like micro (fixes #676).
We already have the following shortcuts for changing tabs:
ctrl + tab, ctrl + shift + tab; ctrl + pgup, ctrl + pgdown; ctrl + shift + pgup, ctrl + shift + pgdn;
These are all consistent with both Files and Web. Terminal should follow this standard as well.