Have a web-forms application with the latest HTMLEditorExtender control. The control works fine for most users. One user (who happens to be in a foreign country, Mexico) reports that the formatting buttons do nothing. She highlights several words, presses the "B" for bold, and nothing happens. None of the formatting buttons do anything for her.
Any hints or suggestions would be appreciated.