nide/client/js/EditorPool.js

Beautiful IDE for Node.js

(function() {
    var MAX_EDITORS = 8
    
    var EditorPool = window.EditorPool = function() {
        this.editors = []
    }
    
    EditorPool.prototype.editorForEntry = function(entry, withDiscarted) {
        var editor;
        for (var i=0; i < this.editors.length; i++) {
            if (this.editors[i].path == entry.path &&
                this.editors[i].type == entry.type) {
                // Move editor to the first position in array
                editor = this.editors.splice(i, 1)[0]
                this.editors.splice(0, 0, editor);
                return editor.element
            }
        }
        
        editor = {
            type: entry.type,
            path: entry.path
        }
        
        switch(entry.type) {
            case "file":
                editor.element = new CodeEditor(entry)
            break;
            case "directory":
                editor.element = new DirectoryEditor(entry)
            break;
            case "documentation":
                editor.element = new DocumentationViewer(entry)
            break;
            case "npm":
                editor.element = new NPMEditor(entry)
            break;
        }
        
        this.editors.splice(0, 0, editor)
        
        if (this.editors.length > MAX_EDITORS) {
            var discarted = this.editors.pop()
            if (withDiscarted) {
                withDiscarted(discarted)
            }
        }
        
        return editor.element
    }
})()