Hi Dave!
Contrary to what I thought I had observed and what I announced in my
reply to your new snapshot (partly fixed), I cannot reproduce any of the
problems in rev. 6357 any more, sorry. (Or am I?)
Everything auto-indentation works like a charm, as far as further tests
have shown. Thanks and sorry for the noise.
Regards
Erwin