mirror of
https://github.com/microsoft/PowerToys.git
synced 2026-04-03 17:56:44 +02:00
* Renamed languages.json to monaco_languages.json * Update excludes.txt * Fixed encoding issue * Reverted accidently removed file * push * push * push * Fixing path to monaco_languages.json * Removing unused file * Fixing NullReferenceException bug * Minor fixes Co-authored-by: Stefan Markovic <stefan@janeasystems.com>
30 lines
1.0 KiB
HTML
30 lines
1.0 KiB
HTML
<!doctype Html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<title>Monaco Preview Handler monaco_languages.json generator</title>
|
|
<script src="monacoSRC/min/vs/loader.js"></script>
|
|
<script>
|
|
function download(filename, text) {
|
|
var element = document.createElement('a');
|
|
element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text));
|
|
element.setAttribute('download', filename);
|
|
|
|
element.style.display = 'none';
|
|
document.body.appendChild(element);
|
|
|
|
element.click();
|
|
|
|
document.body.removeChild(element);
|
|
}
|
|
require.config({ paths: { vs: 'monacoSRC/min/vs' } });
|
|
require(['vs/editor/editor.main'], function () {
|
|
download("monaco_languages.json", "{\"list\":"+ JSON.stringify(monaco.languages.getLanguages())+"}");
|
|
});
|
|
|
|
</script>
|
|
</head>
|
|
<body>
|
|
<div id="container"></div>
|
|
</body>
|
|
</html> |