Skip to content

Commit ede3632

Browse files
committed
pimp up workbench-web.html
1 parent 163aeee commit ede3632

File tree

2 files changed

+24
-5
lines changed

2 files changed

+24
-5
lines changed

resources/web/code-web.js

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -226,12 +226,14 @@ const requestHandler = (req, res) => {
226226
const parsedUrl = url.parse(req.url, true);
227227
const pathname = parsedUrl.pathname;
228228

229+
res.setHeader('Access-Control-Allow-Origin', '*');
230+
229231
try {
230-
if (pathname === '/favicon.ico') {
232+
if (/(\/static)?\/favicon\.ico/.test(pathname)) {
231233
// favicon
232234
return serveFile(req, res, path.join(APP_ROOT, 'resources', 'win32', 'code.ico'));
233235
}
234-
if (pathname === '/manifest.json') {
236+
if (/(\/static)?\/manifest\.json/.test(pathname)) {
235237
// manifest
236238
res.writeHead(200, { 'Content-Type': 'application/json' });
237239
return res.end(JSON.stringify({

src/vs/code/browser/workbench/workbench-web.html

Lines changed: 20 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,24 @@
5757
<script>
5858
performance.mark('code/willLoadWorkbenchMain');
5959
</script>
60-
<script src="{{WORKBENCH_WEB_BASE_URL}}/out/vs/workbench/workbench.web.api.nls.js"></script>
61-
<script src="{{WORKBENCH_WEB_BASE_URL}}/out/vs/workbench/workbench.web.api.js"></script>
62-
<script src="{{WORKBENCH_WEB_BASE_URL}}/out/vs/code/browser/workbench/workbench.js"></script>
60+
61+
<script>
62+
if ("{{WORKBENCH_DEV}}" === "true") {
63+
const workbench = document.createElement('script');
64+
workbench.innerText = "require(['vs/code/browser/workbench/workbench'], function() {});";
65+
document.body.appendChild(workbench);
66+
} else {
67+
const nls = document.createElement('script');
68+
nls.setAttribute('src', '{{WORKBENCH_WEB_BASE_URL}}/out/vs/workbench/workbench.web.api.nls.js');
69+
document.body.appendChild(nls);
70+
71+
const api = document.createElement('script');
72+
api.setAttribute('src', '{{WORKBENCH_WEB_BASE_URL}}/out/vs/workbench/workbench.web.api.js');
73+
document.body.appendChild(api);
74+
75+
const workbench = document.createElement('script');
76+
workbench.setAttribute('src', '{{WORKBENCH_WEB_BASE_URL}}/out/vs/code/browser/workbench/workbench.js');
77+
document.body.appendChild(workbench);
78+
}
79+
</script>
6380
</html>

0 commit comments

Comments
 (0)