static/ext/src/ux/AceEditor/b339f0b799f23466a9fb3ac92af4cb7e572604a6@/worker.js
function() {
        return this.getSettingNames().map(function(key) {
            return this._settings[key].type.stringify(this.get(key));
        }.bind(this));
    }
function() {
        return this.getSettingNames().map(function(key) {
            return this._settings[key].type.stringify(this.get(key));
        }.bind(this));
    }
Utility to grab all the settings and export them into an object