Thread:Project:Support desk/Changing editor font in user settings doesn't work :(

Hello everybody. I'm running a MW 1.17.0. When I change the editor font in the user settings, it doesn't have any effect. The font I see is always the same: Monotype. It's not a browser caching issue. Anybody know this problem?