-package org.simantics.document;\r
-\r
-import org.simantics.databoard.Bindings;\r
-import org.simantics.databoard.binding.Binding;\r
-\r
-public class DocumentSettings {\r
-\r
- public static final Binding BINDING = Bindings.getBindingUnchecked(DocumentSettings.class);\r
- public static final DocumentSettings DEFAULT = new DocumentSettings(10, 10, 10, 10);\r
- \r
- public int marginLeft;\r
- public int marginRight;\r
- public int marginTop;\r
- public int marginBottom;\r
- \r
- public DocumentSettings(int marginLeft, int marginRight, int marginTop, int marginBottom) {\r
- this.marginLeft = marginLeft;\r
- this.marginRight = marginRight;\r
- this.marginTop = marginTop;\r
- this.marginBottom = marginBottom;\r
- }\r
- \r
-}\r
+package org.simantics.document;
+
+import org.simantics.databoard.Bindings;
+import org.simantics.databoard.binding.Binding;
+
+public class DocumentSettings {
+
+ public static final Binding BINDING = Bindings.getBindingUnchecked(DocumentSettings.class);
+ public static final DocumentSettings DEFAULT = new DocumentSettings(10, 10, 10, 10);
+
+ public int marginLeft;
+ public int marginRight;
+ public int marginTop;
+ public int marginBottom;
+
+ public DocumentSettings(int marginLeft, int marginRight, int marginTop, int marginBottom) {
+ this.marginLeft = marginLeft;
+ this.marginRight = marginRight;
+ this.marginTop = marginTop;
+ this.marginBottom = marginBottom;
+ }
+
+}