Add functionality for navigating terminals using alt+<number>
This Merge Request adds the ability to change tabs using alt
- alt+1 would change to the first tab
- alt+9 would go to the last available tab
If the number supplied with alt is greater than the number of tabs available, it is ignored.
Implements #8 (closed)
Edited by Paulo Queiroz