folding based on any kind of indent is great, and why I've used jEdit for years