X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.document%2Fsrc%2Forg%2Fsimantics%2Fdocument%2FDocumentSettings.java;h=f154242bc8b4ed51b2795c8d4dfd796ae484a6e3;hb=e34fedee69a6f7e3ef2188a70d8be60f7d179c10;hp=4045f6798aa59602daa4af694ad72e533f115800;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java b/bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java
index 4045f6798..f154242bc 100644
--- a/bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java
+++ b/bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java
@@ -1,23 +1,23 @@
-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;
-	}
-	
-}
+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;
+	}
+	
+}