_select(num) {
        this.selectedIndex = num;
        this._switcherList.highlight(num);

        // on item selected, switch/move to the workspace
        let workspaceManager = global.workspace_manager;
        let wm = Main.wm;
        let newWs = workspaceManager.get_workspace_by_index(this.selectedIndex);
        wm.actionMoveWorkspace(newWs);
    }
// on workspace selected (in switcher popup)
on workspace selected (in switcher popup)
on workspace selected ( in switcher popup )
_select(num) {
        this.selectedIndex = num;
        this._switcherList.highlight(num);
        let workspaceManager = global.workspace_manager;
        let wm = Main.wm;
        let newWs = workspaceManager.get_workspace_by_index(this.selectedIndex);
        wm.actionMoveWorkspace(newWs);
    }
_select ( num ) { this . selectedIndex = num ; this . _switcherList . highlight ( num ) ; let workspaceManager = global . workspace_manager ; let wm = Main . wm ; let newWs = workspaceManager . get_workspace_by_index ( this . selectedIndex ) ; wm . actionMoveWorkspace ( newWs ) ; }
on workspace selected (in switcher popup)
on workspace selected ( in switcher popup )
// on item selected, switch/move to the workspace