Function lintScript

src/options.js:1308–1315

()

    };

    var lintScript = function() {
        Please.wait();
        var run = function() {
            myLINT.run(container.editor);
            Please.hide();
        };
        window.setTimeout(run, 1);
    };

    var i_sc_save =   HtmlUtil.createImageButton(i.name, 'save',         I18N.getMessage('Save'),         chrome.extension.getURL('images/filesave.png'),      saveEditor);
    var i_sc_cancel = HtmlUtil.createImageButton(i.name, 'cancel',       I18N.getMessage('Editor_reset'), chrome.extension.getURL('images/editor_cancel.png'), resetScript);