Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-05-02 14:31:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Compute diff and dirtyDiff on a private editor worker

Browse Source
This commit is contained in:
Alex Dima
2016-02-18 15:33:26 +01:00
parent 63604de6a9
commit 2345824184
16 changed files with 803 additions and 124 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
src/vs/base/worker/workerMainCompatibility.html
View File

@@ -4,17 +4,6 @@
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<script type="text/javascript">
var beforeReadyMessages = [];
var beforeReadyListener = function (message) {
beforeReadyMessages.push(message.data);
};
if (window.attachEvent) {
window.attachEvent('onmessage', beforeReadyListener);
} else {
window.onmessage = beforeReadyListener;
}
</script>
<script type="text/javascript" src="../../loader.js"></script>
<script>
require.config({
@@ -22,25 +11,47 @@
catchError: true
});
require(['vs/base/common/worker/workerServer'], function(ws) {
var workerServer = ws.create(function (msg) {
window.parent.postMessage(msg, '*');
});
window.isEmulatedWorker = true;
(function() {
var isFirstMessage = true;
var beforeReadyMessages = [];
var readyListener = function (ev) {
workerServer.onmessage(ev.data);
var loadCode = function(moduleId) {
require([moduleId], function(ws) {
var workerServer = ws.create(function (msg) {
window.parent.postMessage(msg, '*');
});
var readyListener = function (ev) {
workerServer.onmessage(ev.data);
};
if (window.attachEvent) {
window.detachEvent('onmessage', beforeReadyListener);
window.attachEvent('onmessage', readyListener);
} else {
window.onmessage = readyListener;
}
while(beforeReadyMessages.length > 0) {
readyListener({ data: beforeReadyMessages.shift() });
}
});
};
var beforeReadyListener = function (message) {
if (!isFirstMessage) {
beforeReadyMessages.push(message.data);
return;
}
isFirstMessage = false;
loadCode(message.data);
};
if (window.attachEvent) {
window.detachEvent('onmessage', beforeReadyListener);
window.attachEvent('onmessage', readyListener);
window.attachEvent('onmessage', beforeReadyListener);
} else {
window.onmessage = readyListener;
window.onmessage = beforeReadyListener;
}
while(beforeReadyMessages.length > 0) {
readyListener({ data: beforeReadyMessages.shift() });
}
});
})();
</script>
</head>
<body>