/**
* Diagram font name.
*
* @param newFontName diagram font name.
*/
public void setFontName(String newFontName) {
if (fontName != null && fontName.equals(newFontName)) {
return;
}
fontName = newFontName;
recomputeFonts();
}
/**
* Diagram font size.
*
* @param newFontSize diagram font size.
*/
public void setFontSize(int newFontSize) {
if (fontSize != null && fontSize == newFontSize) {
return;
}
fontSize = newFontSize;
recomputeFonts();
}
/**
* 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();
}
