Alasdair Smith 8a8d98935b Remove unnecessary linting check in annotations listener ... When user starts typing, compile log annotations are replaced with linter ones, so log errrors can be ignored for this purpose. Because we don't try to autocompile unless the user types something		2017-09-07 10:04:10 +01:00
..
web	Remove unnecessary linting check in annotations listener	2017-09-07 10:04:10 +01:00