Tab numbers not displayed anymore on switching tabs

Tabbed, tiling window manager.

Brought to you by: mrawash, raboofje, timandahaf

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-06-18

Created: 2012-06-18

Private: No

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