@jsenv/plugin-supervisor 1.7.11 → 1.7.13

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.
@@ -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 z-index: 99999;\n top: 0;\n left: 0;\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 left: 0;\n right: 0;\n top: 0;\n bottom: 0;\n }\n\n .overlay {\n position: relative;\n background: rgba(0, 0, 0, 0.95);\n width: 800px;\n max-width: 100vw;\n margin: 30px auto;\n padding: 25px 40px;\n padding-top: 0;\n overflow: hidden; /* for h1 margins */\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 box-sizing: border-box;\n font-family: monospace;\n direction: ltr;\n }\n\n h1 {\n color: red;\n text-align: center;\n }\n\n pre {\n overflow: auto;\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 }\n\n .tip {\n border-top: 1px solid #999;\n padding-top: 12px;\n }\n\n [data-theme=\"dark\"] {\n color: #999;\n }\n [data-theme=\"dark\"] pre {\n background: #111;\n border: 1px solid #333;\n color: #eee;\n }\n\n [data-theme=\"light\"] {\n color: #eeeeee;\n }\n [data-theme=\"light\"] pre {\n background: #1e1e1e;\n border: 1px solid white;\n color: #eeeeee;\n }\n\n pre a {\n color: inherit;\n }\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.11",
3
+ "version": "1.7.13",
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.17",
35
- "@jsenv/sourcemap": "1.3.13"
34
+ "@jsenv/ast": "6.7.19",
35
+ "@jsenv/sourcemap": "1.3.15"
36
36
  },
37
37
  "devDependencies": {
38
38
  "@jsenv/core": "../../../",
@@ -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
- background: rgba(0, 0, 0, 0.95);
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
- overflow: hidden; /* for h1 margins */
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
- box-sizing: border-box;
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 {