Diff: UserPreferences

Differences between current version and revision by previous author of UserPreferences.

Other diffs: Previous Major Revision, Previous Revision