/**
* Construct a DiagramSettings object which inherits from the given parent settings (e.g. project
* default diagram settings).
*
* @param parentSettings settings to inherit from if default values aren't overridden.
*/
public DiagramSettings(DiagramSettings parentSettings) {
super();
parent = parentSettings;
if (parentSettings == null) {
notationSettings = new NotationSettings();
} else {
notationSettings = new NotationSettings(parent.getNotationSettings());
}
recomputeFonts();
}
