Function openFile

client/core/files.js:177–225

(file, options)

    // Open a file
    var openFile = function(file, options) {
        options = _.defaults({}, options || {}, {
            'userChoice': null,
            'useFallback': true,
            'line': null
        });

        // Options for the file handler
        var fileOptions = _.pick(options, ["line", "pattern"]);

        if (_.isString(file)) {
            var nfile = new File({
                'codebox': box
            });
            return nfile.getByPath(file).then(function() {
                return openFile(nfile, options);
            });
        }

        var possibleHandlers = getHandlers(file);

        // Get fallbacks
        if (_.size(possibleHandlers) == 0 && options.useFallback) {
            possibleHandlers = getFallbacks();
        }

        // All choices
        if (_.size(possibleHandlers) == 0) {
            return openFileWith(file, fileOptions);
        }

        if (_.size(possibleHandlers) == 1 || (options.userChoice != true)) {
            return Q(openFileHandler(_.first(possibleHandlers), file, fileOptions));
        }

        var choices = {};
        _.each(possibleHandlers, function(handler) {
            choices[handler.id] = handler.name;
        })

        if (_.size(choices) == 0) {
            return Q.reject(new Error("No handlers for this file"));
        }

        return dialogs.select("Open with...", "Select one of the following handlers to open this file:", choices).then(function(value) {
            var handler = handlers[value];
            return Q(openFileHandler(handler, file, fileOptions));
        });
    };

    // Open a new file
    var openNew = function(name, content, options) {