Discussion:
lint + html mixed mode
Morgan Yarbrough
2014-02-11 14:59:57 UTC
Permalink
I'm trying to use the lint plugin with html mixed mode and it always
results in this error:

lint.js line 60:

*if (!options.getAnnotations) throw new Error("Required option
'getAnnotations' missing (lint addon)");*


I'm guessing that lint does not work in mixed mode?

It seems like it should be capable of working mixed mode, as mixed mode
understands which content is javascript/css/html...

Or is this something that is complex and not going to be implemented any
time soon?
--
--
You are receiving this because you are currently a member of the CodeMirror Google group. To send something to list, use codemirror-/***@public.gmane.org, to unsubscribe, send a message to codemirror-unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/***@public.gmane.org
---
You received this message because you are subscribed to the Google Groups "CodeMirror" group.
To unsubscribe from this group and stop receiving emails from it, send an email to codemirror+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/***@public.gmane.org
For more options, visit https://groups.google.com/groups/opt_out.
Marijn Haverbeke
2014-02-11 21:10:52 UTC
Permalink
Indeed, the linter does not work with mixed modes yet -- it currently
expects to pass the whole document to the linter, and to automatically
work with mixed modes it'd have to split the input per language, and
call different linters.
I'm trying to use the lint plugin with html mixed mode and it always results
if (!options.getAnnotations) throw new Error("Required option
'getAnnotations' missing (lint addon)");
I'm guessing that lint does not work in mixed mode?
It seems like it should be capable of working mixed mode, as mixed mode
understands which content is javascript/css/html...
Or is this something that is complex and not going to be implemented any
time soon?
--
--
You are receiving this because you are currently a member of the CodeMirror
---
You received this message because you are subscribed to the Google Groups
"CodeMirror" group.
To unsubscribe from this group and stop receiving emails from it, send an
For more options, visit https://groups.google.com/groups/opt_out.
--

Loading...