Suggestion for environments with `10+ tabs`

[l0gic5]

Hi, great mod!
If it's possible, it would be amazing to handle environments with 10+ tabs, like allowing the user to move to tab 10, 11, 12, etc.

One possible way to implement this, is to check if the user holds the Alt key, and then concatenating the pressed numbers.

For example:

START holding Alt key
digit number: 1
digit number: 5
END holding Alt key

➤ move to the 15^th tab

Thanks for your work!

[notwatermango]

While that would be helpful I believe the current extension feature is scoped to one feature: showing tab numbers.