2 ms·folding based on any kind of indent is great, and why I've used jEdit for yearsby was8309 8y agofolding based on any kind of indent is great, and why I've used jEdit for years