Issue #190: add new setting to user prefs.