Jump to line on click lint error
mjgpy3 opened this issue ยท 1 comments
mjgpy3 commented
rhysd commented
Yeah I agree. Currently it's hard (but not impossible) to implement it because there is no mapping from markdown document to converted HTML document (which HTML element corresponds to specific markdown element?).
We should introduce markdown AST for this feature and I plan to do that for differential DOM update. So I will remain this issue open although it may take long time.