editor settings; refs #3