src/extensions/default/NoDistractions/main.js
function _hidePanelsIfRequired() {
        var panelIDs = WorkspaceManager.getAllPanelIDs();
        _previouslyOpenPanelIDs = [];
        panelIDs.forEach(function (panelID) {
            var panel = WorkspaceManager.getPanelForID(panelID);
            if (panel && panel.isVisible()) {
                panel.hide();
                _previouslyOpenPanelIDs.push(panelID);
            }
        });
    }
function _hidePanelsIfRequired() {
        var panelIDs = WorkspaceManager.getAllPanelIDs();
        _previouslyOpenPanelIDs = [];
        panelIDs.forEach(function (panelID) {
            var panel = WorkspaceManager.getPanelForID(panelID);
            if (panel && panel.isVisible()) {
                panel.hide();
                _previouslyOpenPanelIDs.push(panelID);
            }
        });
    }
function _hidePanelsIfRequired ( ) { var panelIDs = WorkspaceManager . getAllPanelIDs ( ) ; _previouslyOpenPanelIDs = [ ] ; panelIDs . forEach ( function ( panelID ) { var panel = WorkspaceManager . getPanelForID ( panelID ) ; if ( panel && panel . isVisible ( ) ) { panel . hide ( ) ; _previouslyOpenPanelIDs . push ( panelID ) ; } } ) ; }
hide all open panels
hide all open panels