Open Vampire opened 3 years ago
Thanks for suggesting. I understand what you mention. However, this is not easy to code it seems. I'll check for it.
I understand that synchronized scrolling is available in intelliJ's default markdown plugin. It seems it requires source map between original markdown and generated html. To generate source map, I think using GitHub Markdown API is not an option, saying offline gfm markdown transpiler which generates source map needs to be implemented.
This is a huge task and requires a lot of time for smaller profit, I suppose. If you find a good markdown->html transpiler which supports source map generation and GFM syntax, please let me know. Thank you!
It would be really nice if the plugin would have synchronized scrolling, meaning that if you scroll in the editor, the rendered page scrolls to that same point and if you scroll the page the source also follows suit.
Sugar on top would be if you could ad-hoc select in the tool window whether to sync on first line, last line or middle line.