EDIT

Revert "ref #7849: move general db preferences to its own tab to avoid saving if not edited"

This reverts commit b123c0b7320fdddda7c26405b76be8db119f4445.

ref #7849: move general db preferences to its own tab to avoid saving if not edited

Add "Restart" to General menu

• + i18n

ref #7849 String externalization and label adjustment

missing english label

ref #7283: minor

ref #7793: add DB preferences to hide specimen and import issues and smaller changes in db preferences

ref #7063: better handling of preferences for distribution editor and other places

ref #4101 adapt labels for set publish flag options

ref #4101 label for publish flag preferences