use window-numbering-mode