Hmm. Apparently the problem was with the way that AjaxManager interacted with Ace, because as soon as I turned off AjaxManager, the settings took effect.
↧