@adecore/editor-react 0.31.12 → 0.32.0

package/dist/HoverCard.js

@@ -1,4 +1,4 @@
-import { Fragment as _Fragment, jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { c as _c } from "react/compiler-runtime";
 import { useTranslation } from 'react-i18next';
 import { CircleX, Info, TriangleAlert } from 'lucide-react';
 import { fileUriToPath } from '@adecore/lsp';
@@ -6,48 +6,388 @@ import { Button, Icon, Tooltip } from '@adecore/ui';
 import { formatNumber } from '@adecore/ui/format';
 import { basenameOf } from './paths.js';
 import { codeLabelOf, severityOf } from './diagnostics-model.js';
-import { SymbolSections } from './HoverSections.js';
-const SEVERITY_ICONS = { error: CircleX, warning: TriangleAlert, info: Info, hint: Info };
-const SEVERITY_COLORS = { error: 'text-status-error', warning: 'text-status-needs-you', info: 'text-status-running', hint: 'text-text-muted' };
+import { SymbolSections } from "./HoverSections.js";
+import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+const SEVERITY_ICONS = {
+  error: CircleX,
+  warning: TriangleAlert,
+  info: Info,
+  hint: Info
+};
+const SEVERITY_COLORS = {
+  error: 'text-status-error',
+  warning: 'text-status-needs-you',
+  info: 'text-status-running',
+  hint: 'text-text-muted'
+};
 /*
  * Where a definition is: only its line in the file of the card, else the file and the line, with a long name cut
  * short before the line. A definition outside the project folder, such as the stubs of a standard library, has none.
  */
-export function DefinitionPlace({ definition, uri, folder }) {
-    const { t } = useTranslation('editor');
-    const path = fileUriToPath(definition.uri);
-    const line = formatNumber(definition.range.start.line + 1);
-    if (path === null || (folder !== '' && !path.startsWith(`${folder}/`))) {
-        return null;
+export function DefinitionPlace(t0) {
+  const $ = _c(19);
+  const {
+    definition,
+    uri,
+    folder
+  } = t0;
+  const {
+    t
+  } = useTranslation("editor");
+  let line;
+  let t1;
+  let t2;
+  let t3;
+  let t4;
+  if ($[0] !== definition.range.start.line || $[1] !== definition.uri || $[2] !== folder || $[3] !== t || $[4] !== uri) {
+    t4 = Symbol.for("react.early_return_sentinel");
+    bb0: {
+      const path = fileUriToPath(definition.uri);
+      line = formatNumber(definition.range.start.line + 1);
+      if (path === null || folder !== "" && !path.startsWith(`${folder}/`)) {
+        t4 = null;
+        break bb0;
+      }
+      if (definition.uri === uri) {
+        t4 = /*#__PURE__*/_jsx("span", {
+          className: "text-text-faint",
+          children: t("language.hover.line", {
+            line
+          })
+        });
+        break bb0;
+      }
+      t3 = "flex min-w-0 font-mono text-text-faint";
+      t1 = "truncate";
+      t2 = basenameOf(path);
     }
-    if (definition.uri === uri) {
-        return _jsx("span", { className: "text-text-faint", children: t('language.hover.line', { line }) });
-    }
-    return (_jsxs("span", { className: "flex min-w-0 font-mono text-text-faint", children: [_jsx("span", { className: "truncate", children: basenameOf(path) }), _jsxs("span", { className: "shrink-0", children: [":", line] })] }));
+    $[0] = definition.range.start.line;
+    $[1] = definition.uri;
+    $[2] = folder;
+    $[3] = t;
+    $[4] = uri;
+    $[5] = line;
+    $[6] = t1;
+    $[7] = t2;
+    $[8] = t3;
+    $[9] = t4;
+  } else {
+    line = $[5];
+    t1 = $[6];
+    t2 = $[7];
+    t3 = $[8];
+    t4 = $[9];
+  }
+  if (t4 !== Symbol.for("react.early_return_sentinel")) {
+    return t4;
+  }
+  let t5;
+  if ($[10] !== t1 || $[11] !== t2) {
+    t5 = /*#__PURE__*/_jsx("span", {
+      className: t1,
+      children: t2
+    });
+    $[10] = t1;
+    $[11] = t2;
+    $[12] = t5;
+  } else {
+    t5 = $[12];
+  }
+  let t6;
+  if ($[13] !== line) {
+    t6 = /*#__PURE__*/_jsxs("span", {
+      className: "shrink-0",
+      children: [":", line]
+    });
+    $[13] = line;
+    $[14] = t6;
+  } else {
+    t6 = $[14];
+  }
+  let t7;
+  if ($[15] !== t3 || $[16] !== t5 || $[17] !== t6) {
+    t7 = /*#__PURE__*/_jsxs("span", {
+      className: t3,
+      children: [t5, t6]
+    });
+    $[15] = t3;
+    $[16] = t5;
+    $[17] = t6;
+    $[18] = t7;
+  } else {
+    t7 = $[18];
+  }
+  return t7;
 }
-function ProblemSection({ problem, language }) {
-    const { t } = useTranslation('editor');
-    const { diagnostic } = problem;
-    const severity = severityOf(diagnostic);
-    const label = diagnostic.source === undefined ? [codeLabelOf(diagnostic), problem.server].filter((part) => part !== '').join(' · ') : codeLabelOf(diagnostic);
-    const supported = language.codeActions.supported;
-    return (_jsxs("div", { className: "flex flex-col gap-1.5 px-3 py-2.5", children: [_jsxs("div", { className: "flex items-start gap-2", children: [_jsx(Icon, { icon: SEVERITY_ICONS[severity], size: 14, className: `mt-px shrink-0 ${SEVERITY_COLORS[severity]}` }), _jsx("div", { className: "min-w-0 text-xs/[18px] break-words whitespace-pre-wrap select-text", children: diagnostic.message })] }), label !== '' && _jsx("div", { className: "pl-[22px] text-xs text-text-muted select-text", children: label }), diagnostic.relatedInformation?.map((related, index) => {
-                const path = fileUriToPath(related.location.uri);
-                return (_jsxs("div", { className: "pl-[22px] text-xs text-text-muted", children: [path !== null && (_jsxs("button", { type: "button", className: "font-mono text-accent hover:underline", onClick: () => language.goTo(related.location), children: [basenameOf(path), ":", formatNumber(related.location.range.start.line + 1)] })), ' ', related.message] }, index));
-            }), _jsx("div", { className: "pt-1 pl-[22px]", children: _jsx(Tooltip, { label: t(supported ? 'language.hover.quickFix' : 'language.hover.quickFixNone'), children: _jsx(Button, { size: "xs", variant: "secondary", "aria-disabled": !supported, onClick: () => {
-                            if (supported) {
-                                language.hover.hide();
-                                void language.codeActions.quickFixFor(problem);
-                            }
-                        }, children: t('language.hover.quickFix') }) }) })] }));
+function ProblemSection(t0) {
+  const $ = _c(38);
+  const {
+    problem,
+    language
+  } = t0;
+  const {
+    t
+  } = useTranslation("editor");
+  const {
+    diagnostic
+  } = problem;
+  const severity = severityOf(diagnostic);
+  let t1;
+  if ($[0] !== diagnostic || $[1] !== problem.server) {
+    t1 = diagnostic.source === undefined ? [codeLabelOf(diagnostic), problem.server].filter(_temp).join(" \xB7 ") : codeLabelOf(diagnostic);
+    $[0] = diagnostic;
+    $[1] = problem.server;
+    $[2] = t1;
+  } else {
+    t1 = $[2];
+  }
+  const label = t1;
+  const supported = language.codeActions.supported;
+  const t2 = SEVERITY_ICONS[severity];
+  const t3 = `mt-px shrink-0 ${SEVERITY_COLORS[severity]}`;
+  let t4;
+  if ($[3] !== t2 || $[4] !== t3) {
+    t4 = /*#__PURE__*/_jsx(Icon, {
+      icon: t2,
+      size: 14,
+      className: t3
+    });
+    $[3] = t2;
+    $[4] = t3;
+    $[5] = t4;
+  } else {
+    t4 = $[5];
+  }
+  let t5;
+  if ($[6] !== diagnostic.message) {
+    t5 = /*#__PURE__*/_jsx("div", {
+      className: "min-w-0 text-xs/[18px] break-words whitespace-pre-wrap select-text",
+      children: diagnostic.message
+    });
+    $[6] = diagnostic.message;
+    $[7] = t5;
+  } else {
+    t5 = $[7];
+  }
+  let t6;
+  if ($[8] !== t4 || $[9] !== t5) {
+    t6 = /*#__PURE__*/_jsxs("div", {
+      className: "flex items-start gap-2",
+      children: [t4, t5]
+    });
+    $[8] = t4;
+    $[9] = t5;
+    $[10] = t6;
+  } else {
+    t6 = $[10];
+  }
+  let t7;
+  if ($[11] !== label) {
+    t7 = label !== "" && /*#__PURE__*/_jsx("div", {
+      className: "pl-[22px] text-xs text-text-muted select-text",
+      children: label
+    });
+    $[11] = label;
+    $[12] = t7;
+  } else {
+    t7 = $[12];
+  }
+  let t8;
+  if ($[13] !== diagnostic.relatedInformation || $[14] !== language) {
+    t8 = diagnostic.relatedInformation?.map((related, index) => {
+      const path = fileUriToPath(related.location.uri);
+      return /*#__PURE__*/_jsxs("div", {
+        className: "pl-[22px] text-xs text-text-muted",
+        children: [path !== null && /*#__PURE__*/_jsxs("button", {
+          type: "button",
+          className: "font-mono text-accent hover:underline",
+          onClick: () => language.goTo(related.location),
+          children: [basenameOf(path), ":", formatNumber(related.location.range.start.line + 1)]
+        }), " ", related.message]
+      }, index);
+    });
+    $[13] = diagnostic.relatedInformation;
+    $[14] = language;
+    $[15] = t8;
+  } else {
+    t8 = $[15];
+  }
+  const t9 = supported ? "language.hover.quickFix" : "language.hover.quickFixNone";
+  let t10;
+  if ($[16] !== t || $[17] !== t9) {
+    t10 = t(t9);
+    $[16] = t;
+    $[17] = t9;
+    $[18] = t10;
+  } else {
+    t10 = $[18];
+  }
+  const t11 = !supported;
+  let t12;
+  if ($[19] !== language.codeActions || $[20] !== language.hover || $[21] !== problem || $[22] !== supported) {
+    t12 = () => {
+      if (supported) {
+        language.hover.hide();
+        language.codeActions.quickFixFor(problem);
+      }
+    };
+    $[19] = language.codeActions;
+    $[20] = language.hover;
+    $[21] = problem;
+    $[22] = supported;
+    $[23] = t12;
+  } else {
+    t12 = $[23];
+  }
+  let t13;
+  if ($[24] !== t) {
+    t13 = t("language.hover.quickFix");
+    $[24] = t;
+    $[25] = t13;
+  } else {
+    t13 = $[25];
+  }
+  let t14;
+  if ($[26] !== t11 || $[27] !== t12 || $[28] !== t13) {
+    t14 = /*#__PURE__*/_jsx(Button, {
+      size: "xs",
+      variant: "secondary",
+      "aria-disabled": t11,
+      onClick: t12,
+      children: t13
+    });
+    $[26] = t11;
+    $[27] = t12;
+    $[28] = t13;
+    $[29] = t14;
+  } else {
+    t14 = $[29];
+  }
+  let t15;
+  if ($[30] !== t10 || $[31] !== t14) {
+    t15 = /*#__PURE__*/_jsx("div", {
+      className: "pt-1 pl-[22px]",
+      children: /*#__PURE__*/_jsx(Tooltip, {
+        label: t10,
+        children: t14
+      })
+    });
+    $[30] = t10;
+    $[31] = t14;
+    $[32] = t15;
+  } else {
+    t15 = $[32];
+  }
+  let t16;
+  if ($[33] !== t15 || $[34] !== t6 || $[35] !== t7 || $[36] !== t8) {
+    t16 = /*#__PURE__*/_jsxs("div", {
+      className: "flex flex-col gap-1.5 px-3 py-2.5",
+      children: [t6, t7, t8, t15]
+    });
+    $[33] = t15;
+    $[34] = t6;
+    $[35] = t7;
+    $[36] = t8;
+    $[37] = t16;
+  } else {
+    t16 = $[37];
+  }
+  return t16;
 }
-export function HoverCard({ language, problems, info, anchor, position, footer }) {
-    const { t } = useTranslation('editor');
-    return (_jsxs("div", { className: "flex w-max min-w-[280px] max-w-[min(520px,calc(100vw-16px))] flex-col divide-y divide-border", children: [info !== null && (_jsxs(_Fragment, { children: [_jsx(SymbolSections, { text: info.text, onName: (name, declared) => {
-                            language.hover.hide();
-                            void language.navigation.goToName(name, anchor, name === (declared ?? info.word) ? info.definition : null);
-                        } }), info.plain !== true && (_jsxs("div", { className: "flex flex-col gap-0.5 px-3 py-1.5 text-xs", children: [_jsxs("div", { className: "flex items-center gap-3 whitespace-nowrap", children: [info.definition !== null && (_jsx("button", { type: "button", className: "text-accent hover:underline", onClick: () => language.goTo(info.definition), children: t('language.hover.definition') })), info.references !== null && info.references > 0 && (_jsx("button", { type: "button", className: "text-accent hover:underline", onClick: () => {
-                                            language.hover.hide();
-                                            void language.peek.open(position);
-                                        }, children: t('language.hover.references', { count: info.references, formatted: formatNumber(info.references) }) }))] }), info.definition !== null && _jsx(DefinitionPlace, { definition: info.definition, uri: language.uri, folder: language.project.folder })] }))] })), problems.map((problem, index) => (_jsx(ProblemSection, { problem: problem, language: language }, index))), footer] }));
+function _temp(part) {
+  return part !== "";
 }
+export function HoverCard(t0) {
+  const $ = _c(15);
+  const {
+    language,
+    problems,
+    info,
+    anchor,
+    position,
+    footer
+  } = t0;
+  const {
+    t
+  } = useTranslation("editor");
+  let t1;
+  if ($[0] !== anchor || $[1] !== info || $[2] !== language || $[3] !== position || $[4] !== t) {
+    t1 = info !== null && /*#__PURE__*/_jsxs(_Fragment, {
+      children: [/*#__PURE__*/_jsx(SymbolSections, {
+        text: info.text,
+        onName: (name, declared) => {
+          language.hover.hide();
+          language.navigation.goToName(name, anchor, name === (declared ?? info.word) ? info.definition : null);
+        }
+      }), info.plain !== true && /*#__PURE__*/_jsxs("div", {
+        className: "flex flex-col gap-0.5 px-3 py-1.5 text-xs",
+        children: [/*#__PURE__*/_jsxs("div", {
+          className: "flex items-center gap-3 whitespace-nowrap",
+          children: [info.definition !== null && /*#__PURE__*/_jsx("button", {
+            type: "button",
+            className: "text-accent hover:underline",
+            onClick: () => language.goTo(info.definition),
+            children: t("language.hover.definition")
+          }), info.references !== null && info.references > 0 && /*#__PURE__*/_jsx("button", {
+            type: "button",
+            className: "text-accent hover:underline",
+            onClick: () => {
+              language.hover.hide();
+              language.peek.open(position);
+            },
+            children: t("language.hover.references", {
+              count: info.references,
+              formatted: formatNumber(info.references)
+            })
+          })]
+        }), info.definition !== null && /*#__PURE__*/_jsx(DefinitionPlace, {
+          definition: info.definition,
+          uri: language.uri,
+          folder: language.project.folder
+        })]
+      })]
+    });
+    $[0] = anchor;
+    $[1] = info;
+    $[2] = language;
+    $[3] = position;
+    $[4] = t;
+    $[5] = t1;
+  } else {
+    t1 = $[5];
+  }
+  let t2;
+  if ($[6] !== language || $[7] !== problems) {
+    let t3;
+    if ($[9] !== language) {
+      t3 = (problem, index) => /*#__PURE__*/_jsx(ProblemSection, {
+        problem: problem,
+        language: language
+      }, index);
+      $[9] = language;
+      $[10] = t3;
+    } else {
+      t3 = $[10];
+    }
+    t2 = problems.map(t3);
+    $[6] = language;
+    $[7] = problems;
+    $[8] = t2;
+  } else {
+    t2 = $[8];
+  }
+  let t3;
+  if ($[11] !== footer || $[12] !== t1 || $[13] !== t2) {
+    t3 = /*#__PURE__*/_jsxs("div", {
+      className: "flex w-max min-w-[280px] max-w-[min(520px,calc(100vw-16px))] flex-col divide-y divide-border",
+      children: [t1, t2, footer]
+    });
+    $[11] = footer;
+    $[12] = t1;
+    $[13] = t2;
+    $[14] = t3;
+  } else {
+    t3 = $[14];
+  }
+  return t3;
+}