Fixed all line endings of the repository

[simantics/platform.git] / bundles / org.simantics.document / src / org / simantics / document / DocumentSettings.java

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 4045f6798aa59602daa4af694ad72e533f115800..f154242bc8b4ed51b2795c8d4dfd796ae484a6e3 100644 (file)
--- 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;\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;
+       }
+       
+}