window-manager.js: renamed window_manager