That's more of a work-around than a fix though. Actually, you should not try to fix what isn't broken. The same settings are applied to all users. If that works for all of them, except one, chances are the problem is on the "one" end. Cleared your cache recently? Completely reloaded the page? Recent Java(tm)?