1 files changed, 96 insertions, 97 deletions
diff --git a/dox-sequence-diagram-ui/src/main/webapp/lib/ecomp/asdc/sequencer/common/Options.js b/dox-sequence-diagram-ui/src/main/webapp/lib/ecomp/asdc/sequencer/common/Options.js
index 15897d7ee3..b054cb26e7 100644
--- a/dox-sequence-diagram-ui/src/main/webapp/lib/ecomp/asdc/sequencer/common/Options.js
+++ b/dox-sequence-diagram-ui/src/main/webapp/lib/ecomp/asdc/sequencer/common/Options.js
@@ -23,26 +23,25 @@ import Logger from './Logger';
  * and the result -- runtime options -- are available by calling #getOptions().
  */
 export default class Options {
+    // ///////////////////////////////////////////////////////////////////////////////////////////////
 
-  // ///////////////////////////////////////////////////////////////////////////////////////////////
+    /**
+     * Construct options, applying defaults.
+     * @param options optional override options.
+     */
+    constructor(options = {}) {
+        this.options = _merge({}, Options.DEFAULTS, options);
+    }
 
-  /**
-   * Construct options, applying defaults.
-   * @param options optional override options.
-   */
-  constructor(options = {}) {
-    this.options = _merge({}, Options.DEFAULTS, options);
-  }
+    // ///////////////////////////////////////////////////////////////////////////////////////////////
 
-  // ///////////////////////////////////////////////////////////////////////////////////////////////
-
-  /**
-   * Unwrap options.
-   * @returns {*}
-   */
-  unwrap() {
-    return this.options;
-  }
+    /**
+     * Unwrap options.
+     * @returns {*}
+     */
+    unwrap() {
+        return this.options;
+    }
 }
 
 // /////////////////////////////////////////////////////////////////////////////////////////////////
@@ -51,86 +50,86 @@ export default class Options {
  * Default options, overridden by anything of the same name.
  */
 Options.DEFAULTS = {
-  log: {
-    level: Logger.WARN,
-  },
-  demo: false,
-  useHtmlSelect: true,
-  diagram: {
-    svg: {
-      x: 0,
-      y: 0,
-      width: 1600,
-      height: 1200,
-      margin: 50,
-      floodColor: '#009fdb',
-      scale: {
-        height: true,
-        width: true,
-        minimum: 0.25,
-      },
-    },
-    title: {
-      height: 0,
-    },
-    metadata: false,
-    lifelines: {
-      header: {
-        height: 225,
-        width: 350,
-        wrapWords: 14,
-        wrapLines: 18,
-        maxLines: 5,
-      },
-      occurrences: {
-        marginTop: 50,
-        marginBottom: 75,
-        foreshortening: 5,
-        width: 50,
-      },
-      spacing: {
-        horizontal: 400,
-        vertical: 400,
-      },
-    },
-    messages: {
-      label: {
-        wrapWords: 14,
-        wrapLines: 18,
-        maxLines: 4,
-      },
-    },
-    fragments: {
-      leftMargin: 150,
-      topMargin: 200,
-      widthMargin: 300,
-      heightMargin: 350,
-      label: {
-        wrapWords: 50,
-        wrapLines: 50,
-        maxLines: 2,
-      },
-    },
-  },
-  validation: {
-    lifeline: {
-      maxLength: 100,
-      defaultValue: '',
-      replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g,
-    },
-    message: {
-      maxLength: 100,
-      defaultValue: '',
-      replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g,
-    },
-    notes: {
-      maxLength: 255,
-      defaultValue: '',
+    log: {
+        level: Logger.WARN
     },
-    guard: {
-      maxLength: 80,
-      defaultValue: '',
-      replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g,
+    demo: false,
+    useHtmlSelect: true,
+    diagram: {
+        svg: {
+            x: 0,
+            y: 0,
+            width: 1600,
+            height: 1200,
+            margin: 50,
+            floodColor: '#009fdb',
+            scale: {
+                height: true,
+                width: true,
+                minimum: 0.25
+            }
+        },
+        title: {
+            height: 0
+        },
+        metadata: false,
+        lifelines: {
+            header: {
+                height: 225,
+                width: 350,
+                wrapWords: 14,
+                wrapLines: 18,
+                maxLines: 5
+            },
+            occurrences: {
+                marginTop: 50,
+                marginBottom: 75,
+                foreshortening: 5,
+                width: 50
+            },
+            spacing: {
+                horizontal: 400,
+                vertical: 400
+            }
+        },
+        messages: {
+            label: {
+                wrapWords: 14,
+                wrapLines: 18,
+                maxLines: 4
+            }
+        },
+        fragments: {
+            leftMargin: 150,
+            topMargin: 200,
+            widthMargin: 300,
+            heightMargin: 350,
+            label: {
+                wrapWords: 50,
+                wrapLines: 50,
+                maxLines: 2
+            }
+        }
     },
-  },
+    validation: {
+        lifeline: {
+            maxLength: 100,
+            defaultValue: '',
+            replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g
+        },
+        message: {
+            maxLength: 100,
+            defaultValue: '',
+            replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g
+        },
+        notes: {
+            maxLength: 255,
+            defaultValue: ''
+        },
+        guard: {
+            maxLength: 80,
+            defaultValue: '',
+            replace: /[^\-\.\+ &%#@\?\(\)\[\]<>\w\d]/g
+        }
+    }
 };