Отключить предупреждения JSHint в CodeMirror

Я думал, что это будет тривиальный вопрос, но я сделал массу поисков и ничего не смог найти.

У меня есть div CodeMirror, в котором включен анализ. Я включил JSHint.js, который работает правильно; синтаксические ошибки и предупреждения отображаются в моем редакторе CodeMirror. Однако мне нужно отключить несколько предупреждений (самое главное, я хочу разрешить ключи объекта без кавычек).

Где я могу передать настройки или отключить предупреждения для JSHint, чтобы он показывал только те проблемы, которые меня действительно волнуют?

Или, в качестве альтернативы, есть ли альтернатива JSHint, которая допускает больше настроек (и может использоваться с инфраструктурой линтинга CodeMirror)?


person Isaac Dontje Lindell    schedule 25.06.2014    source источник


Ответы (3)


У вас должна быть возможность устанавливать специфичные для JSHint опции непосредственно в объекте, который вы используете в качестве значения CodeMirror " вариант "ворс".

person Marijn    schedule 27.06.2014
comment
@isaac-dontje-lindell это следует принять как правильный ответ. - person Brian Leathem; 15.04.2015
comment
Пример должен быть красивым. - person Will; 28.02.2017

Используйте свойство lint из объекта конфигурации CodeMirror, чтобы установить любую допустимую конфигурацию jshint.

Пример:

 const config = {
            lineNumbers: true, 
            lineWrapping: true, 
            mode: 'javascript',
            indentWithTabs: true,
            gutters: ['CodeMirror-lint-markers'], 
            lint: { 'esversion': '8' }, 
            theme: 'monokai'
        };

 var myCodeMirror = CodeMirror(document.body, config);
person user1807334    schedule 25.03.2019

Просто установите lint option = false при инициализации экземпляра codemirror

var editorSettings = CodeMirror.defaults;   
editorSettings.codemirror.lint = false;
var myCodeMirror = CodeMirror(document.body, editorSettings);

В Wordpress 4.9+:

var editorSettings = wp.codeEditor.defaultSettings;
editorSettings.codemirror.lint = false;
var editor = wp.codeEditor.initialize( $('#whatever'), editorSettings);
person Community    schedule 16.01.2019