window-numbering-mode added.