Are you sure you don't have the setting enabled in site settings that allows the user to choose his editor preference? Then it would use the setting from the user profile.
Do you get any script errors in the page?
Does changing the skin have any effect on the problem?
Are you using a custom config file for the editor?