deploy: c53aeeb

Author: elmisback

dist/webview.bundle.js

@@ -3292,7 +3292,7 @@ ___CSS_LOADER_EXPORT___.push([module.id, `.error-plot .input-ranges-editor {
 }
 
 .empty-error-plot {
-  height: 209px;
+  height: 214px;
 }
 
 .error-plot svg {
@@ -3385,7 +3385,7 @@ g[aria-label="y-axis label"] {
     by parent */
   pointer-events: none;
   cursor: default;
-}`, "",{"version":3,"sources":["webpack://./src/herbie/ErrorPlot.css"],"names":[],"mappings":"AAAA;EACE,qBAAqB;AACvB;;AAEA;EACE,mBAAmB;EACnB,cAAc;EACd,+BAA+B;AACjC;;AAEA;EACE,WAAW;AACb;;AAEA;EACE,eAAe;AACjB;;AAEA;EACE,eAAe;EACf,yCAAyC;AAC3C;;AAEA;EACE,aAAa;AACf;;AAEA;EACE,qBAAqB;AACvB;;AAEA;EACE,sBAAsB;EACtB,sCAAsC;EACtC,mBAAmB;AACrB;;AAEA;CACC,+BAA+B;AAChC;;AAEA;EACE,iCAAiC;AACnC;;AAEA;EACE,kCAAkC;AACpC;;AAEA;EACE,eAAe;EACf,6BAA6B;AAC/B;;AAEA;EACE,OAAO;EACP,eAAe;EACf,4BAA4B;EAC5B,YAAY;AACd;AACA;EACE,0BAA0B;AAC5B;AACA;EACE,8BAA8B;EAC9B,6BAA6B;;EAE7B,mBAAmB;EACnB,kBAAkB;EAClB,gBAAgB;AAClB;;AAEA;EACE,cAAc;EACd,YAAY;EACZ,+BAA+B;EAC/B,iBAAiB;EACjB,qBAAqB;EACrB,KAAK;EACL,KAAK;AACP;;AAEA;EACE,0BAA0B;AAC5B;;AAEA;EACE,eAAe;EACf,wCAAwC;AAC1C;AACA;EACE,kCAAkC;EAClC,eAAe;EACf,8BAA8B;EAC9B,eAAe;AACjB;AACA;EACE,UAAU;AACZ;;AAEA;EACE,iBAAiB;AACnB;;AAEA;EACE,eAAe;AACjB;;AAEA;EACE,UAAU;AACZ;;AAEA;EACE;eACa;EACb,oBAAoB;EACpB,eAAe;AACjB","sourcesContent":[".error-plot .input-ranges-editor {\n  display: inline-block;  \n}\n\n.variable-name {\n  padding-right: 10px;\n  font-size: 1em;\n  font-family: 'Ruda', sans-serif;\n}\n\n.input-ranges-editor input {\n  width: 65px;\n}\n\n.error-plot .input-ranges-editor .separator {\n  padding: 0 10px;\n}\n\n.error-plot svg text {\n  font-size: 22px;\n  fill: var(--foreground-deemphasize-color);\n}\n\n.empty-error-plot {\n  height: 209px;\n}\n\n.error-plot svg {\n  margin: 12px 12px 0 0;\n}\n\ng[aria-label=\"x-axis tick label\"] text {\n  /* font-size: large; */\n  /* transform: translate(10px, 10px); */\n  text-anchor: middle;\n}\n\ng[aria-label=\"x-axis tick label\"] {\n transform: translate(0px, 17px);\n}\n\ng[aria-label=\"x-axis label\"] {\n  transform: translate(-20px, 60px);\n}\n\ng[aria-label=\"y-axis label\"] {\n  transform: translate(-24px, -40px);\n}\n\n.resample {\n  font-size: 10px;\n  margin-left: calc(1rem + 1px);\n}\n\n.error-plot circle:hover {\n  r: 15px;\n  fill-opacity: 1;\n  transition: r 0s ease-in-out;\n  z-index: 100; \n}\n.selected-circle {\n  fill-opacity: 1 !important;\n}\n.error-plot circle {\n  border: 10px solid transparent;\n  transition: all 0.2s ease-out;\n\n  stroke: transparent;\n  stroke-width: 15px;\n  fill-opacity: .5;\n}\n\n.selected-label {\n  display: block;\n  width: 130px;\n  stroke: var(--foreground-color);\n  stroke-width: 1px;\n  fill: var(--ui-color);\n  rx: 2;\n  ry: 2;\n}\n\n.label-container text {\n  font-size: 18px !important;\n}\n\n.label-container .copy {\n  font-size: 18px;\n  color: var(--vscode-textLink-foreground);\n}\n.deselect {\n  /* Styling consistent with .copy */\n  cursor: pointer;\n  color: var(--foreground-color);\n  font-size: 10px;\n}\n.label-container:hover .copy {\n  opacity: 1;\n}\n\n.unbrushed-line {\n  stroke: #dddbdb92;\n}\n\n.unbrushed, rect.selection {\n  fill: #dddbdb92;\n}\n\n.highlight-line {\n  fill: none;\n}\n\n.selection {\n  /* Prevents .selection area from intercepting clicks that should be handled\n    by parent */\n  pointer-events: none;\n  cursor: default;\n}"],"sourceRoot":""}]);
+}`, "",{"version":3,"sources":["webpack://./src/herbie/ErrorPlot.css"],"names":[],"mappings":"AAAA;EACE,qBAAqB;AACvB;;AAEA;EACE,mBAAmB;EACnB,cAAc;EACd,+BAA+B;AACjC;;AAEA;EACE,WAAW;AACb;;AAEA;EACE,eAAe;AACjB;;AAEA;EACE,eAAe;EACf,yCAAyC;AAC3C;;AAEA;EACE,aAAa;AACf;;AAEA;EACE,qBAAqB;AACvB;;AAEA;EACE,sBAAsB;EACtB,sCAAsC;EACtC,mBAAmB;AACrB;;AAEA;CACC,+BAA+B;AAChC;;AAEA;EACE,iCAAiC;AACnC;;AAEA;EACE,kCAAkC;AACpC;;AAEA;EACE,eAAe;EACf,6BAA6B;AAC/B;;AAEA;EACE,OAAO;EACP,eAAe;EACf,4BAA4B;EAC5B,YAAY;AACd;AACA;EACE,0BAA0B;AAC5B;AACA;EACE,8BAA8B;EAC9B,6BAA6B;;EAE7B,mBAAmB;EACnB,kBAAkB;EAClB,gBAAgB;AAClB;;AAEA;EACE,cAAc;EACd,YAAY;EACZ,+BAA+B;EAC/B,iBAAiB;EACjB,qBAAqB;EACrB,KAAK;EACL,KAAK;AACP;;AAEA;EACE,0BAA0B;AAC5B;;AAEA;EACE,eAAe;EACf,wCAAwC;AAC1C;AACA;EACE,kCAAkC;EAClC,eAAe;EACf,8BAA8B;EAC9B,eAAe;AACjB;AACA;EACE,UAAU;AACZ;;AAEA;EACE,iBAAiB;AACnB;;AAEA;EACE,eAAe;AACjB;;AAEA;EACE,UAAU;AACZ;;AAEA;EACE;eACa;EACb,oBAAoB;EACpB,eAAe;AACjB","sourcesContent":[".error-plot .input-ranges-editor {\n  display: inline-block;  \n}\n\n.variable-name {\n  padding-right: 10px;\n  font-size: 1em;\n  font-family: 'Ruda', sans-serif;\n}\n\n.input-ranges-editor input {\n  width: 65px;\n}\n\n.error-plot .input-ranges-editor .separator {\n  padding: 0 10px;\n}\n\n.error-plot svg text {\n  font-size: 22px;\n  fill: var(--foreground-deemphasize-color);\n}\n\n.empty-error-plot {\n  height: 214px;\n}\n\n.error-plot svg {\n  margin: 12px 12px 0 0;\n}\n\ng[aria-label=\"x-axis tick label\"] text {\n  /* font-size: large; */\n  /* transform: translate(10px, 10px); */\n  text-anchor: middle;\n}\n\ng[aria-label=\"x-axis tick label\"] {\n transform: translate(0px, 17px);\n}\n\ng[aria-label=\"x-axis label\"] {\n  transform: translate(-20px, 60px);\n}\n\ng[aria-label=\"y-axis label\"] {\n  transform: translate(-24px, -40px);\n}\n\n.resample {\n  font-size: 10px;\n  margin-left: calc(1rem + 1px);\n}\n\n.error-plot circle:hover {\n  r: 15px;\n  fill-opacity: 1;\n  transition: r 0s ease-in-out;\n  z-index: 100; \n}\n.selected-circle {\n  fill-opacity: 1 !important;\n}\n.error-plot circle {\n  border: 10px solid transparent;\n  transition: all 0.2s ease-out;\n\n  stroke: transparent;\n  stroke-width: 15px;\n  fill-opacity: .5;\n}\n\n.selected-label {\n  display: block;\n  width: 130px;\n  stroke: var(--foreground-color);\n  stroke-width: 1px;\n  fill: var(--ui-color);\n  rx: 2;\n  ry: 2;\n}\n\n.label-container text {\n  font-size: 18px !important;\n}\n\n.label-container .copy {\n  font-size: 18px;\n  color: var(--vscode-textLink-foreground);\n}\n.deselect {\n  /* Styling consistent with .copy */\n  cursor: pointer;\n  color: var(--foreground-color);\n  font-size: 10px;\n}\n.label-container:hover .copy {\n  opacity: 1;\n}\n\n.unbrushed-line {\n  stroke: #dddbdb92;\n}\n\n.unbrushed, rect.selection {\n  fill: #dddbdb92;\n}\n\n.highlight-line {\n  fill: none;\n}\n\n.selection {\n  /* Prevents .selection area from intercepting clicks that should be handled\n    by parent */\n  pointer-events: none;\n  cursor: default;\n}"],"sourceRoot":""}]);
 // Exports
 /* harmony default export */ const __WEBPACK_DEFAULT_EXPORT__ = (___CSS_LOADER_EXPORT___);
 
@@ -204982,7 +204982,7 @@ function HerbieUIInner() {
     return ((0, jsx_runtime_1.jsx)("div", { children: showSpecEntry ?
             (0, jsx_runtime_1.jsxs)("div", { className: "spec-container", style: { display: "flex", flexDirection: 'column' }, children: [myHeader(), (0, jsx_runtime_1.jsx)(SpecComponent_1.SpecComponent, { setShowExplore: () => setShowSpecEntry(false) })] })
             :
-                (0, jsx_runtime_1.jsxs)("div", { className: "grid-container", children: [myHeader(), mySubHeader(), (0, jsx_runtime_1.jsx)(ExpressionTable_1.ExpressionTable, {}), (0, jsx_runtime_1.jsxs)("div", { className: "visualizations", children: [(0, jsx_runtime_1.jsx)("div", { style: { fontSize: "14px", padding: "11px 0px", fontWeight: 'bold' }, children: "Error Plot" }), (0, jsx_runtime_1.jsx)(ErrorPlot_1.ErrorPlot, {}), (0, jsx_runtime_1.jsx)("h4", { children: "Other Comparisons" }), (0, jsx_runtime_1.jsx)(SelectableVisualization_1.SelectableVisualization, { components: components2 })] })] }) }));
+                (0, jsx_runtime_1.jsxs)("div", { className: "grid-container", children: [myHeader(), mySubHeader(), (0, jsx_runtime_1.jsx)(ExpressionTable_1.ExpressionTable, {}), (0, jsx_runtime_1.jsxs)("div", { className: "visualizations", children: [(0, jsx_runtime_1.jsx)("div", { style: { fontSize: "14px", padding: "11px 0px", fontWeight: 'bold' }, children: "Error Plot" }), (0, jsx_runtime_1.jsx)(ErrorPlot_1.ErrorPlot, {}), (0, jsx_runtime_1.jsx)("div", { style: { fontSize: "14px", padding: "11px 0px", fontWeight: 'bold' }, children: "Other Comparisons" }), (0, jsx_runtime_1.jsx)(SelectableVisualization_1.SelectableVisualization, { components: components2 })] })] }) }));
 }
 function HerbieUI() {
     return ((0, jsx_runtime_1.jsxs)(GlobalContextProvider, { children: [(0, jsx_runtime_1.jsx)(HerbieUIInner, {}), (0, jsx_runtime_1.jsx)(react_toastify_1.ToastContainer, {})] }));