#5 Tab numbers not displayed anymore on switching tabs

[Philipp Hartwig]

Selecting a tab by a number still seems to be possible, but the number for a tab is not displayed anymore when switching tabs.