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