Fix workspace-menu's JS show/hide