]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.document/src/org/simantics/document/DocumentSettings.java
Filter also history items in resource search dialog
[simantics/platform.git] / 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 }