Allow preference-configurability of DisposePolicy for DiagramEditor
DiagramEditor currently has a hardcoded default valued DisposingPolicy attached to it.
It would be better if this policy was configurable through preferences.
DiagramEditor currently has a hardcoded default valued DisposingPolicy attached to it.
It would be better if this policy was configurable through preferences.