stub in WinMenu()