Use window-numbering-mode