feature request #5970
Updated by Andreas Müller over 7 years ago
if false, the preference should not be overridden by local preferences if true false local preferences override database preferences, if set. preferences see also #3958, #3555, #5969, #5971