@jsenv/plugin-supervisor 1.7.11 → 1.7.12
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/js/supervisor.js +1 -1
- package/package.json +3 -3
- package/src/client/supervisor.js +12 -12
package/dist/js/supervisor.js
CHANGED
|
@@ -1136,7 +1136,7 @@ window.__supervisor__ = (() => {
|
|
|
1136
1136
|
if (customElements && !customElements.get(JSENV_ERROR_OVERLAY_TAGNAME)) {
|
|
1137
1137
|
customElements.define(JSENV_ERROR_OVERLAY_TAGNAME, JsenvErrorOverlay);
|
|
1138
1138
|
}
|
|
1139
|
-
const overlayCSS = /* css */"\n :host {\n position: fixed;\n
|
|
1139
|
+
const overlayCSS = /* css */"\n :host {\n position: fixed;\n top: 0;\n left: 0;\n z-index: 99999;\n width: 100%;\n height: 100%;\n /* overflow-y: scroll; */\n margin: 0;\n background: rgba(0, 0, 0, 0.66);\n }\n\n .backdrop {\n position: absolute;\n top: 0;\n right: 0;\n bottom: 0;\n left: 0;\n }\n\n .overlay {\n position: relative;\n box-sizing: border-box;\n width: 800px;\n max-width: 100vw;\n margin: 30px auto;\n padding: 25px 40px;\n padding-top: 0;\n font-family: monospace;\n direction: ltr;\n background: rgba(0, 0, 0, 0.95);\n border-radius: 4px 8px;\n box-shadow:\n 0 20px 40px rgb(0 0 0 / 30%),\n 0 15px 12px rgb(0 0 0 / 20%);\n overflow: hidden; /* for h1 margins */\n }\n\n h1 {\n color: red;\n text-align: center;\n }\n\n pre {\n max-width: 100%;\n /* padding is nice + prevents scrollbar from hiding the text behind it */\n /* does not work nicely on firefox though https://bugzilla.mozilla.org/show_bug.cgi?id=748518 */\n padding: 20px;\n overflow: auto;\n }\n\n .tip {\n padding-top: 12px;\n border-top: 1px solid #999;\n }\n\n [data-theme=\"dark\"] {\n color: #999;\n }\n [data-theme=\"dark\"] pre {\n color: #eee;\n background: #111;\n border: 1px solid #333;\n }\n\n [data-theme=\"light\"] {\n color: #eeeeee;\n }\n [data-theme=\"light\"] pre {\n color: #eeeeee;\n background: #1e1e1e;\n border: 1px solid white;\n }\n\n pre a {\n color: inherit;\n }\n ";
|
|
1140
1140
|
}
|
|
1141
1141
|
supervisor.createException = createException;
|
|
1142
1142
|
supervisor.reportException = exception => {
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@jsenv/plugin-supervisor",
|
|
3
|
-
"version": "1.7.
|
|
3
|
+
"version": "1.7.12",
|
|
4
4
|
"repository": {
|
|
5
5
|
"type": "git",
|
|
6
6
|
"url": "https://github.com/jsenv/core",
|
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
"prepublishOnly": "npm run build"
|
|
32
32
|
},
|
|
33
33
|
"dependencies": {
|
|
34
|
-
"@jsenv/ast": "6.7.
|
|
35
|
-
"@jsenv/sourcemap": "1.3.
|
|
34
|
+
"@jsenv/ast": "6.7.18",
|
|
35
|
+
"@jsenv/sourcemap": "1.3.14"
|
|
36
36
|
},
|
|
37
37
|
"devDependencies": {
|
|
38
38
|
"@jsenv/core": "../../../",
|
package/src/client/supervisor.js
CHANGED
|
@@ -1165,9 +1165,9 @@ window.__supervisor__ = (() => {
|
|
|
1165
1165
|
const overlayCSS = /* css */ `
|
|
1166
1166
|
:host {
|
|
1167
1167
|
position: fixed;
|
|
1168
|
-
z-index: 99999;
|
|
1169
1168
|
top: 0;
|
|
1170
1169
|
left: 0;
|
|
1170
|
+
z-index: 99999;
|
|
1171
1171
|
width: 100%;
|
|
1172
1172
|
height: 100%;
|
|
1173
1173
|
/* overflow-y: scroll; */
|
|
@@ -1177,28 +1177,28 @@ window.__supervisor__ = (() => {
|
|
|
1177
1177
|
|
|
1178
1178
|
.backdrop {
|
|
1179
1179
|
position: absolute;
|
|
1180
|
-
left: 0;
|
|
1181
|
-
right: 0;
|
|
1182
1180
|
top: 0;
|
|
1181
|
+
right: 0;
|
|
1183
1182
|
bottom: 0;
|
|
1183
|
+
left: 0;
|
|
1184
1184
|
}
|
|
1185
1185
|
|
|
1186
1186
|
.overlay {
|
|
1187
1187
|
position: relative;
|
|
1188
|
-
|
|
1188
|
+
box-sizing: border-box;
|
|
1189
1189
|
width: 800px;
|
|
1190
1190
|
max-width: 100vw;
|
|
1191
1191
|
margin: 30px auto;
|
|
1192
1192
|
padding: 25px 40px;
|
|
1193
1193
|
padding-top: 0;
|
|
1194
|
-
|
|
1194
|
+
font-family: monospace;
|
|
1195
|
+
direction: ltr;
|
|
1196
|
+
background: rgba(0, 0, 0, 0.95);
|
|
1195
1197
|
border-radius: 4px 8px;
|
|
1196
1198
|
box-shadow:
|
|
1197
1199
|
0 20px 40px rgb(0 0 0 / 30%),
|
|
1198
1200
|
0 15px 12px rgb(0 0 0 / 20%);
|
|
1199
|
-
|
|
1200
|
-
font-family: monospace;
|
|
1201
|
-
direction: ltr;
|
|
1201
|
+
overflow: hidden; /* for h1 margins */
|
|
1202
1202
|
}
|
|
1203
1203
|
|
|
1204
1204
|
h1 {
|
|
@@ -1207,34 +1207,34 @@ window.__supervisor__ = (() => {
|
|
|
1207
1207
|
}
|
|
1208
1208
|
|
|
1209
1209
|
pre {
|
|
1210
|
-
overflow: auto;
|
|
1211
1210
|
max-width: 100%;
|
|
1212
1211
|
/* padding is nice + prevents scrollbar from hiding the text behind it */
|
|
1213
1212
|
/* does not work nicely on firefox though https://bugzilla.mozilla.org/show_bug.cgi?id=748518 */
|
|
1214
1213
|
padding: 20px;
|
|
1214
|
+
overflow: auto;
|
|
1215
1215
|
}
|
|
1216
1216
|
|
|
1217
1217
|
.tip {
|
|
1218
|
-
border-top: 1px solid #999;
|
|
1219
1218
|
padding-top: 12px;
|
|
1219
|
+
border-top: 1px solid #999;
|
|
1220
1220
|
}
|
|
1221
1221
|
|
|
1222
1222
|
[data-theme="dark"] {
|
|
1223
1223
|
color: #999;
|
|
1224
1224
|
}
|
|
1225
1225
|
[data-theme="dark"] pre {
|
|
1226
|
+
color: #eee;
|
|
1226
1227
|
background: #111;
|
|
1227
1228
|
border: 1px solid #333;
|
|
1228
|
-
color: #eee;
|
|
1229
1229
|
}
|
|
1230
1230
|
|
|
1231
1231
|
[data-theme="light"] {
|
|
1232
1232
|
color: #eeeeee;
|
|
1233
1233
|
}
|
|
1234
1234
|
[data-theme="light"] pre {
|
|
1235
|
+
color: #eeeeee;
|
|
1235
1236
|
background: #1e1e1e;
|
|
1236
1237
|
border: 1px solid white;
|
|
1237
|
-
color: #eeeeee;
|
|
1238
1238
|
}
|
|
1239
1239
|
|
|
1240
1240
|
pre a {
|