move to standard linter for simpler configuration

src/editor/index.html

@@ -30,26 +30,26 @@
  <!-- If you do not wish to add extensions by URL, you can add calls
       within the following file to svgEditor.setConfig -->
       <script type="module">
-        import Editor from './Editor.js';
-        /* for available options see the file `docs/tutorials/ConfigOptions.md */
-        const svgEditor = new Editor(document.getElementById('container'));
-        svgEditor.init();
-        svgEditor.setConfig({
+        import Editor from './Editor.js'
+/* for available options see the file `docs/tutorials/ConfigOptions.md */
+const svgEditor = new Editor(document.getElementById('container'))
+svgEditor.init()
+svgEditor.setConfig({
           allowInitialUserOverride: true,
           extensions: [],
           noDefaultExtensions: false,
           userExtensions: [/* '../ext-helloworld/ext-helloworld.js' */]
-        });
-        // Variable XDOMAIN below is created by Rollup for the Xdomain build (see rollup.config.js)
-        /* globals XDOMAIN */
-        try { // try clause to avoid js to complain if XDOMAIN undefined
+        })
+// Variable XDOMAIN below is created by Rollup for the Xdomain build (see rollup.config.js)
+/* globals XDOMAIN */
+try { // try clause to avoid js to complain if XDOMAIN undefined
           if (XDOMAIN) {
             svgEditor.setConfig({
               canvasName: 'xdomain', // Namespace this
               allowedOrigins: [ '*' ]
-            });
-            console.info('xdomain config activated');
-          }
-        } catch (error) {/* empty fn */ }
+            })
+    console.info('xdomain config activated')
+  }
+        } catch (error) { /* empty fn */ }
       </script>
 </html>