[#8245] DMC Ordner Dokumente in PLC Auswahl: kein Wechsel auf Dok möglich

Wird in einer nicht-DMC Oberfläche im Widget "Objekt-Auswahl" auf einen DMC Ordner doppel-geklickt (vorher muss aus der Objektsicht in die Ordnersicht umgeschaltet werden), wird keine Aktion ausgelöst. Dabei sollte die gleiche Aktion wie bei einem Doppelklick auf einen normalen DIS ausgeführt werden.

Dies wird hiermit korrigiert.

[#8201] Anpassung der Benutzereinstellungen

Die Benutzereinstellungen werden neu über zentrale Funktionen verwaltet und bearbeitet. Die alten Einstellungsdialoge werden abgelöst und durch neue dynamische Dialog ersetzt, welche produktabhängig nur noch die notwendingen Einstellungen bereitstellen.