It's definitely all JS. There are hooks to plug in specific things, but not any arbitrary behavior. code folding is a nice feature though, and one I'd expect w

It's definitely all JS. There are hooks to plug in specific things, but not any arbitrary behavior. code folding is a nice feature though, and one I'd expect we'll see along the way. code folding requires some work though, because it changes how line positions are computed.