add window-numbering extension and switch-window extension