editor: on disabling CSS linter option, hide the report entirely

This commit is contained in:
tophf 2017-09-01 11:08:48 +03:00
parent 27ad478f8c
commit 0a5d9d86bf

View File

@ -189,7 +189,7 @@ function updateLinter({immediately} = {}) {
});
$('#linter-settings').style.display = !linter ? 'none' : 'inline-block';
if (!linter) {
$('#lint > div').textContent = '';
$('#lint').style.display = 'none';
}
}