Function resetScript

src/options.js:1296–1306

()

    };

    var resetScript = function() {
        var c = confirm(I18N.getMessage("Really_reset_all_changes_"));
        if (c) {
            if (container.editor && gOptions.editor_enabled) {
                // set value clears history too
                container.editor.mirror.setValue(i.code);
            } else {
                input.textContent = i.code;
            }
        }
    };

    var lintScript = function() {
        Please.wait();