Update the MonacoEditor to v0.43.0 from v0.31.0

coatless · Sep 14, 2023 · d51fbd5 · d51fbd5
1 parent 311c2b2
commit d51fbd5
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/_extensions/webr/webr-init.html b/_extensions/webr/webr-init.html
@@ -1,4 +1,5 @@
-<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/min/vs/editor/editor.main.css" />
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/min/vs/editor/editor.main.css" />
+
 <style>
   .monaco-editor pre {
     background-color: unset !important;
@@ -10,17 +11,17 @@
     border-bottom-right-radius: 0;
   }
 </style>
-<script src="https://cdn.jsdelivr.net/npm/[email protected]/min/vs/loader.js"></script>
+
+<script src="https://cdn.jsdelivr.net/npm/[email protected]/min/vs/loader.js"></script>
 <script type="module">
 
   // Configure the Monaco Editor's loader
   require.config({
     paths: {
-      'vs': 'https://cdn.jsdelivr.net/npm/monaco-editor@0.31.0/min/vs'
+      'vs': 'https://cdn.jsdelivr.net/npm/monaco-editor@0.43.0/min/vs'
     }
   });
 
-
   // Start a timer
   const initializeWebRTimerStart = performance.now();