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