Merge branch 'master' into feature-threading

2025-04-20 23:06:16 -04:00 · 2017-07-28 16:55:07 +01:00 · 2017-07-28 16:55:07 +01:00 · e977a1006c
commit e977a1006c
parent f1ebab0c2d 559c13a003
45 changed files with 3426 additions and 2588 deletions
--- a/src/web/index.js
+++ b/src/web/index.js
@ -38,15 +38,15 @@ function main() {
    ];

    const defaultOptions = {
-        updateUrl         : true,
-        showHighlighter   : true,
-        treatAsUtf8       : true,
-        wordWrap          : true,
-        showErrors        : true,
-        errorTimeout      : 4000,
-        autoBakeThreshold : 200,
-        attemptHighlight  : true,
-        theme             : "classic",
+        updateUrl:         true,
+        showHighlighter:   true,
+        treatAsUtf8:       true,
+        wordWrap:          true,
+        showErrors:        true,
+        errorTimeout:      4000,
+        autoBakeThreshold: 200,
+        attemptHighlight:  true,
+        theme:             "classic",
    };

    document.removeEventListener("DOMContentLoaded", main, false);