EDIT

smaller changes in preferences

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