[popupMenu.js] Check the return value of Main.pushModal

This may prevent subsequent "incorrect pop" incidents.
[windowManager.js] Implement "mini-Expo" workspace-grid OSD.