Per-user preferences are the right place for settings that affect a minority of users. This particular problem affects an overwhelming majority of users and applications and should be solved once and for all; the rest can use their per-user preferences to undo the fix.
Per-user preferences are the right place for settings that affect a minority of users. This particular problem affects an overwhelming majority of users and applications and should be solved once and for all; the rest can use their per-user preferences to undo the fix.