window-numbering and lua-mode