Life-saver! No idea why you can't ctrl+num on Ubuntu but this adds it and works flawlessly.

Does what it says on the tin.

Thanks!

Thanks, good to have this functionality back!

Any chance to see an option to add tabs' numbers in front of their title in a future version?