> (You need to click on the word "Editor" itself, > not its first child "Indentation"). Doh! I didn't realise that I would get options there as well. "User" or "user interface" problem - you judge... Hugh