smaller changes in preferences
ref #7849: disable apply button until something was changed in preference page
fix delete of not persisted data in bulk editor
ref #7849: remove OVERRIDE constants from IPreferenceKeys and handle it by method
ref #7849: continue adapt db and local preference pages
ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences
ref #7922: add preference to save distribution editor factual data to their own fact
ref #7849: do not save preferences if page was not edited
ref #7849: harmonize admin and local preferences for distribution editor and use drop down instead of radio buttons
Revert "Revert "ref #7849: move general db preferences to its own tab to avoid saving if not edited""
This reverts commit e78f3e6c944dd0630daef5ecfab96773a875c695.
Also available in: Atom