bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java

   1 package org.simantics.document;
   2
   3 import org.simantics.databoard.Bindings;
   4 import org.simantics.databoard.binding.Binding;
   5
   6 public class DocumentSettings {
   7
   8         public static final Binding BINDING = Bindings.getBindingUnchecked(DocumentSettings.class);
   9         public static final DocumentSettings DEFAULT = new DocumentSettings(10, 10, 10, 10);
  10
  11         public int marginLeft;
  12         public int marginRight;
  13         public int marginTop;
  14         public int marginBottom;
  15
  16         public DocumentSettings(int marginLeft, int marginRight, int marginTop, int marginBottom) {
  17                 this.marginLeft = marginLeft;
  18                 this.marginRight = marginRight;
  19                 this.marginTop = marginTop;
  20                 this.marginBottom = marginBottom;
  21         }
  22
  23 }