Description of the problem or steps to reproduce
Open micro with micro. Press Ctrl+T to open a new tab, then press Ctrl+E and type in term bash to open a terminal within this new tab. Try to navigate back to the micro editor tab to the left with Alt+,. It doesn't work :(. Please add a setting to enable tab navigation shortcut keys to work even while inside a terminal within a tab within micro. I'd like to use them to navigate between my micro editor tabs and my terminal tabs while running micro.
You can see the full goal of what I'm trying to do here: #2730 (comment)
Tab navigation is here: https://github.com/zyedidia/micro/blob/master/runtime/help/defaultkeys.md#tabs
- Alt+, navigates left one tab, so long as you're not in a terminal tab, as the terminal captures micro's shortcuts otherwise
- Alt+. navigates right one tab, so long as you're not in a terminal tab, as the terminal captures micro's shortcuts otherwise
Specifications
Commit hash: 225927b
OS: Linux Ubuntu 22.04
Terminal: terminator 2.1.1