|
|
|
@ -15,7 +15,7 @@
|
|
|
|
|
<link
|
|
|
|
|
data-name="vs/editor/editor.main"
|
|
|
|
|
rel="stylesheet"
|
|
|
|
|
href="../../release/dev/vs/editor/editor.main.css"
|
|
|
|
|
href="../release/dev/vs/editor/editor.main.css"
|
|
|
|
|
/>
|
|
|
|
|
</head>
|
|
|
|
|
<body class="playground-page">
|
|
|
|
@ -96,11 +96,11 @@
|
|
|
|
|
></script>
|
|
|
|
|
|
|
|
|
|
<script>
|
|
|
|
|
var require = { paths: { vs: '../../release/dev/vs' } };
|
|
|
|
|
var require = { paths: { vs: '../release/dev/vs' } };
|
|
|
|
|
</script>
|
|
|
|
|
<script src="../../release/dev/vs/loader.js"></script>
|
|
|
|
|
<script src="../../release/dev/vs/editor/editor.main.nls.js"></script>
|
|
|
|
|
<script src="../../release/dev/vs/editor/editor.main.js"></script>
|
|
|
|
|
<script src="../release/dev/vs/loader.js"></script>
|
|
|
|
|
<script src="../release/dev/vs/editor/editor.main.nls.js"></script>
|
|
|
|
|
<script src="../release/dev/vs/editor/editor.main.js"></script>
|
|
|
|
|
|
|
|
|
|
<script data-inline="yes-please" src="./playground/new-samples/all.js"></script>
|
|
|
|
|
<script data-inline="yes-please" src="./playground/playground.js"></script>
|
|
|
|
|