forked from hpcc-systems/vscode-ecl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
76 lines (69 loc) · 2.82 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<html>
<head>
<script src="https://cdnjs.cloudflare.com/ajax/libs/es6-promise/4.2.8/es6-promise.auto.js"></script>
<script>
// Polyfills ---
if (typeof Object.assign !== 'function') {
Object.defineProperty(Object, "assign", {
value: function assign(target, varArgs) {
'use strict';
if (target === null || target === undefined) {
throw new TypeError('Cannot convert undefined or null to object');
}
var to = Object(target);
for (var index = 1; index < arguments.length; index++) {
var nextSource = arguments[index];
if (nextSource !== null && nextSource !== undefined) {
for (var nextKey in nextSource) {
if (Object.prototype.hasOwnProperty.call(nextSource, nextKey)) {
to[nextKey] = nextSource[nextKey];
}
}
}
}
return to;
},
writable: true,
configurable: true
});
}
</script>
<script id="_vscodeApiScript">
const acquireVsCodeApi = (function () {
const originalPostMessage = window.parent.postMessage.bind(window.parent);
const targetOrigin = '*';
let acquired = false;
let state = JSON.parse(decodeURIComponent("%7B%22url%22%3A%22https%3A%2F%2Fplay.hpccsystems.com%3A18010%2F%3FWidget%3DWUDetailsWidget%26Wuid%3DW20200831-142403%22%7D"));
return function () {
if (acquired && !undefined) {
throw new Error('An instance of the VS Code API has already been acquired');
}
acquired = true;
return Object.freeze({
postMessage: function (msg) {
return originalPostMessage({ command: 'onmessage', data: msg }, targetOrigin);
},
setState: function (newState) {
state = newState;
originalPostMessage({ command: 'do-update-state', data: JSON.stringify(newState) }, targetOrigin);
return newState;
},
getState: function () {
return state;
}
});
};
})();
delete window.parent;
delete window.top;
delete window.frameElement;
</script>
<style>
</style>
</head>
<body>
<div id="placeholder">
</div>
<script nonce="zes9uXypVmEN3lSoLeogIeTyRgDkjQUE" src="./dist/eclwatch.js"></script>
</body>
</html>