src/view/WorkspaceManager.js
function getAllPanelIDs() {
        var property, panelIDs = [];
        for (property in panelIDMap) {
            if (panelIDMap.hasOwnProperty(property)) {
                panelIDs.push(property);
            }
        }
        return panelIDs;
    }
function getAllPanelIDs() {
        var property, panelIDs = [];
        for (property in panelIDMap) {
            if (panelIDMap.hasOwnProperty(property)) {
                panelIDs.push(property);
            }
        }
        return panelIDs;
    }
function getAllPanelIDs ( ) { var property , panelIDs = [ ] ; for ( property in panelIDMap ) { if ( panelIDMap . hasOwnProperty ( property ) ) { panelIDs . push ( property ) ; } } return panelIDs ; }
Returns an array of all panel ID's
@returns {Array} List of ID's of all bottom panels
Returns an array of all panel ID s