There is strange, Did you changed editor in your profile (User Manager) or only in Global configuration. Because first option will override second (default) choice.
It might be this. Remember if we talk about back-end - none of our template can not change default behavior of Joomla.