Changeset 30 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java

Timestamp:

11/02/10 17:25:47 (14 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java (modified) (2 diffs)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java

@@ -5 +5 @@
         private boolean preventNewLineAfterAlternativeOnLessThanThreeElements = true;
         private boolean preventNewLineAfterAlternativeOnShortAlternatives = true;
+        private double shortAlternativeThreshold = 3.0;
 
         public boolean isNewLineAfterAlternative() {
@@ -32 +33 @@
         }
 
+        public double getShortAlternativeThreshold() {
+                return shortAlternativeThreshold;
+        }
+
+        public void setShortAlternativeThreshold(double shortAlternativeThreshold) {
+                this.shortAlternativeThreshold = shortAlternativeThreshold;
+        }
+
 }