Function openFileHandler

client/core/files.js:144–157

(handler, file, fileOptions)

    // Open file with handler
    var openFileHandler = function(handler, file, fileOptions) {
        // Add to recent files
        if (!file.isNewfile()) recentFiles.add(file);

        // Options for the file handler
        fileOptions = _.defaults(fileOptions || {}, {
            line: null,
            pattern: null
        });

        return Q(handler.open(file, fileOptions)).then(function() {
            box.setActiveFile(file);
        });
    };

    // Select to open a file with any handler
    var openFileWith = function(file, fileOptions) {