generateLanguagesJson.html
1 <!doctype Html> 2 <html> 3 <head> 4 <meta charset="utf-8"> 5 <title>Monaco Preview Handler monaco_languages.json generator</title> 6 <script src="monacoSRC/min/vs/loader.js"></script> 7 <script src="monacoSpecialLanguages.js" type="module"></script> 8 <script type="module"> 9 import {registerAdditionalLanguages} from "./monacoSpecialLanguages.js" 10 function download(filename, text) { 11 var element = document.createElement('a'); 12 element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text)); 13 element.setAttribute('download', filename); 14 15 element.style.display = 'none'; 16 document.body.appendChild(element); 17 18 element.click(); 19 20 document.body.removeChild(element); 21 } 22 require.config({ paths: { vs: 'monacoSRC/min/vs' } }); 23 require(['vs/editor/editor.main'], async function () { 24 await registerAdditionalLanguages(monaco); 25 download("monaco_languages.json", "{\"list\":"+ JSON.stringify(monaco.languages.getLanguages())+"}"); 26 }); 27 </script> 28 </head> 29 <body> 30 <div id="container"></div> 31 </body> 32 </html>