#11918 Well, then get one that *does* do auto-indent. You can't do good work with bad tools.