EDIT

avoid potential widget is disposed exception

ref #7215: minor

ref #7215: check for all misapplied names in details element

ref #7268 Hard-code P2 update site and remove from preferences

• update site is derived from the build version (nightly or stable)

ref #7215: add p.p. to pro parte MAN in name editor

ref #7215: fix selection of type

cleanup

ref #7268 Sort root nodes in preference dialog

ref #7268 Fix stateful behavior of OpenPreferenceHandler

• Convert class variables to local variables

ref #7268 Unify preference page classes