@adecore/editor-react 0.31.11 → 0.32.0

package/dist/patch-decorations.js

@@ -1,51 +1,66 @@
+import { c as _c } from "react/compiler-runtime";
 import { useEffect, useState } from 'react';
 import { useTranslation } from 'react-i18next';
 import { patchLayoutOf } from './patch-layout.js';
 const DEFAULT_TIMER = {
-    set: (callback, delay) => setTimeout(callback, delay),
-    clear: (handle) => clearTimeout(handle)
+  set: (callback, delay) => setTimeout(callback, delay),
+  clear: handle => clearTimeout(handle)
 };
 const CHANGE_LAYER = 'patch';
 function numberOf(line, numbers, width) {
-    if (line.old === null && line.new === null) {
-        return null;
-    }
-    if (numbers === 'single') {
-        return String(line.new ?? line.old);
-    }
-    const pad = (value) => (value === null ? '' : String(value)).padStart(width, ' ');
-    return `${pad(line.old)} ${pad(line.new)}`;
+  if (line.old === null && line.new === null) {
+    return null;
+  }
+  if (numbers === 'single') {
+    return String(line.new ?? line.old);
+  }
+  const pad = value => (value === null ? '' : String(value)).padStart(width, ' ');
+  return `${pad(line.old)} ${pad(line.new)}`;
 }
 /* Runs of one role become one highlight, so the bar of consecutive changed lines is one stripe. */
 function highlightsOf(layout) {
-    const highlights = [];
-    const marks = [];
-    const lines = layout.lines;
-    for (let index = 0; index < lines.length; index++) {
-        const role = lines[index].role;
-        if (role === 'file-header') {
-            highlights.push({ startLine: index + 1, endLine: index + 1, color: '--text-muted', fill: '--surface-raised' });
-        }
-        else if (role === 'hunk-header') {
-            highlights.push({ startLine: index + 1, endLine: index + 1, color: '--accent' });
-        }
-        else if (role === 'added' || role === 'removed') {
-            let end = index;
-            while (end + 1 < lines.length && lines[end + 1].role === role) {
-                end++;
-            }
-            const removed = role === 'removed';
-            highlights.push({
-                startLine: index + 1,
-                endLine: end + 1,
-                color: removed ? '--editor-deleted' : '--editor-added',
-                bar: removed ? 'hatched' : 'solid'
-            });
-            marks.push({ startLine: index + 1, endLine: end + 1, kind: removed ? 'deleted' : 'added' });
-            index = end;
-        }
+  const highlights = [];
+  const marks = [];
+  const lines = layout.lines;
+  for (let index = 0; index < lines.length; index++) {
+    const role = lines[index].role;
+    if (role === 'file-header') {
+      highlights.push({
+        startLine: index + 1,
+        endLine: index + 1,
+        color: '--text-muted',
+        fill: '--surface-raised'
+      });
+    } else if (role === 'hunk-header') {
+      highlights.push({
+        startLine: index + 1,
+        endLine: index + 1,
+        color: '--accent'
+      });
+    } else if (role === 'added' || role === 'removed') {
+      let end = index;
+      while (end + 1 < lines.length && lines[end + 1].role === role) {
+        end++;
+      }
+      const removed = role === 'removed';
+      highlights.push({
+        startLine: index + 1,
+        endLine: end + 1,
+        color: removed ? '--editor-deleted' : '--editor-added',
+        bar: removed ? 'hatched' : 'solid'
+      });
+      marks.push({
+        startLine: index + 1,
+        endLine: end + 1,
+        kind: removed ? 'deleted' : 'added'
+      });
+      index = end;
     }
-    return { highlights, marks };
+  }
+  return {
+    highlights,
+    marks
+  };
 }
 /*
  * Draws a patch in the editor the way the diff views draw a change: tinted lines, numbers from the hunk
@@ -54,129 +69,190 @@ function highlightsOf(layout) {
  * the edits to rest, and `onLayout` always does. Typing costs one pass over the text (bounded by the limits).
  */
 export function decoratePatch(editor, options = {}) {
-    let layout = patchLayoutOf('', options.limits);
-    let pending = false;
-    let disposed = false;
-    let length = 0;
-    let wait = null;
-    const timer = options.timer ?? DEFAULT_TIMER;
-    const delay = options.delay ?? 150;
-    const immediateBelow = options.immediateBelow ?? 100_000;
-    const clearWait = () => {
-        if (wait !== null) {
-            timer.clear(wait);
-            wait = null;
-        }
-    };
-    const after = (callback) => {
-        clearWait();
-        wait = timer.set(() => {
-            wait = null;
-            callback();
-        }, delay);
-    };
-    const apply = () => {
-        const numbers = options.numbers ?? 'single';
-        const lines = layout.lines;
-        const width = lines.reduce((digits, line) => Math.max(digits, String(Math.max(line.old ?? 0, line.new ?? 0)).length), 1);
-        editor.setLineNumbers((line) => {
-            const entry = lines[line];
-            return entry === undefined ? null : numberOf(entry, numbers, width);
-        });
-        const labels = options.labels;
-        editor.setLineLabels(labels === undefined
-            ? null
-            : (line) => {
-                const entry = lines[line];
-                if (entry?.role === 'removed') {
-                    return labels.removed(entry.old);
-                }
-                if (entry?.role === 'added') {
-                    return labels.added(entry.new);
-                }
-                return entry?.role === 'context' ? labels.unchanged(entry.old, entry.new) : null;
-            });
-        const { highlights, marks } = highlightsOf(layout);
-        editor.setLineHighlights(highlights);
-        editor.setChangeMarks(marks, CHANGE_LAYER);
-    };
-    const decorate = () => {
-        pending = false;
-        if (disposed) {
-            return;
-        }
-        const text = editor.getText();
-        length = text.length;
-        layout = patchLayoutOf(text, options.limits);
-        apply();
-    };
-    const announce = () => {
-        if (!disposed) {
-            options.onLayout?.(layout);
-        }
-    };
-    const read = () => {
-        clearWait();
+  let layout = patchLayoutOf('', options.limits);
+  let pending = false;
+  let disposed = false;
+  let length = 0;
+  let wait = null;
+  const timer = options.timer ?? DEFAULT_TIMER;
+  const delay = options.delay ?? 150;
+  const immediateBelow = options.immediateBelow ?? 100_000;
+  const clearWait = () => {
+    if (wait !== null) {
+      timer.clear(wait);
+      wait = null;
+    }
+  };
+  const after = callback => {
+    clearWait();
+    wait = timer.set(() => {
+      wait = null;
+      callback();
+    }, delay);
+  };
+  const apply = () => {
+    const numbers = options.numbers ?? 'single';
+    const lines = layout.lines;
+    const width = lines.reduce((digits, line) => Math.max(digits, String(Math.max(line.old ?? 0, line.new ?? 0)).length), 1);
+    editor.setLineNumbers(line => {
+      const entry = lines[line];
+      return entry === undefined ? null : numberOf(entry, numbers, width);
+    });
+    const labels = options.labels;
+    editor.setLineLabels(labels === undefined ? null : line => {
+      const entry = lines[line];
+      if (entry?.role === 'removed') {
+        return labels.removed(entry.old);
+      }
+      if (entry?.role === 'added') {
+        return labels.added(entry.new);
+      }
+      return entry?.role === 'context' ? labels.unchanged(entry.old, entry.new) : null;
+    });
+    const {
+      highlights,
+      marks
+    } = highlightsOf(layout);
+    editor.setLineHighlights(highlights);
+    editor.setChangeMarks(marks, CHANGE_LAYER);
+  };
+  const decorate = () => {
+    pending = false;
+    if (disposed) {
+      return;
+    }
+    const text = editor.getText();
+    length = text.length;
+    layout = patchLayoutOf(text, options.limits);
+    apply();
+  };
+  const announce = () => {
+    if (!disposed) {
+      options.onLayout?.(layout);
+    }
+  };
+  const read = () => {
+    clearWait();
+    decorate();
+    announce();
+  };
+  const schedule = () => {
+    if (length < immediateBelow) {
+      if (pending) {
+        return;
+      }
+      pending = true;
+      queueMicrotask(() => {
         decorate();
-        announce();
-    };
-    const schedule = () => {
-        if (length < immediateBelow) {
-            if (pending) {
-                return;
-            }
-            pending = true;
-            queueMicrotask(() => {
-                decorate();
-                after(announce);
-            });
-            return;
-        }
-        pending = true;
-        after(() => {
-            decorate();
-            announce();
-        });
-    };
-    const stop = editor.onTextChange(schedule);
-    read();
-    return {
-        get layout() {
-            return layout;
-        },
-        refresh: read,
-        dispose() {
-            disposed = true;
-            clearWait();
-            stop();
-            editor.setLineNumbers(null);
-            editor.setLineLabels(null);
-            editor.setLineHighlights([]);
-            editor.setChangeMarks([], CHANGE_LAYER);
-        }
-    };
+        after(announce);
+      });
+      return;
+    }
+    pending = true;
+    after(() => {
+      decorate();
+      announce();
+    });
+  };
+  const stop = editor.onTextChange(schedule);
+  read();
+  return {
+    get layout() {
+      return layout;
+    },
+    refresh: read,
+    dispose() {
+      disposed = true;
+      clearWait();
+      stop();
+      editor.setLineNumbers(null);
+      editor.setLineLabels(null);
+      editor.setLineHighlights([]);
+      editor.setChangeMarks([], CHANGE_LAYER);
+    }
+  };
 }
 /* Decorates a mounted editor as a patch for as long as it stands, in the editor namespace's words, and returns the layout for a file tree. */
-export function usePatchDecorations(editor, options = {}) {
-    const { t } = useTranslation('editor');
-    const [state, setState] = useState(null);
-    const { numbers } = options;
-    const { maxLines, maxCharacters } = options.limits ?? {};
-    useEffect(() => {
-        if (editor === null) {
-            return;
-        }
-        const decoration = decoratePatch(editor, {
-            ...(numbers === undefined ? {} : { numbers }),
-            limits: { ...(maxLines === undefined ? {} : { maxLines }), ...(maxCharacters === undefined ? {} : { maxCharacters }) },
-            labels: {
-                added: (number) => t('diff.added', { number }),
-                removed: (number) => t('diff.removed', { number }),
-                unchanged: (old, fresh) => t('diff.unchanged', { old, new: fresh })
-            },
-            onLayout: (layout) => setState({ editor, layout })
-        });
-        return () => decoration.dispose();
-    }, [editor, numbers, maxLines, maxCharacters, t]);
-    return state !== null && state.editor === editor ? state.layout : null;
-}
+export function usePatchDecorations(editor, t0) {
+  const $ = _c(11);
+  let t1;
+  if ($[0] !== t0) {
+    t1 = t0 === undefined ? {} : t0;
+    $[0] = t0;
+    $[1] = t1;
+  } else {
+    t1 = $[1];
+  }
+  const options = t1;
+  const {
+    t
+  } = useTranslation("editor");
+  const [state, setState] = useState(null);
+  const {
+    numbers
+  } = options;
+  let t2;
+  if ($[2] !== options.limits) {
+    t2 = options.limits ?? {};
+    $[2] = options.limits;
+    $[3] = t2;
+  } else {
+    t2 = $[3];
+  }
+  const {
+    maxLines,
+    maxCharacters
+  } = t2;
+  let t3;
+  let t4;
+  if ($[4] !== editor || $[5] !== maxCharacters || $[6] !== maxLines || $[7] !== numbers || $[8] !== t) {
+    t3 = () => {
+      if (editor === null) {
+        return;
+      }
+      const decoration = decoratePatch(editor, {
+        ...(numbers === undefined ? {} : {
+          numbers
+        }),
+        limits: {
+          ...(maxLines === undefined ? {} : {
+            maxLines
+          }),
+          ...(maxCharacters === undefined ? {} : {
+            maxCharacters
+          })
+        },
+        labels: {
+          added: number => t("diff.added", {
+            number
+          }),
+          removed: number_0 => t("diff.removed", {
+            number: number_0
+          }),
+          unchanged: (old, fresh) => t("diff.unchanged", {
+            old,
+            new: fresh
+          })
+        },
+        onLayout: layout => setState({
+          editor,
+          layout
+        })
+      });
+      return () => decoration.dispose();
+    };
+    t4 = [editor, numbers, maxLines, maxCharacters, t];
+    $[4] = editor;
+    $[5] = maxCharacters;
+    $[6] = maxLines;
+    $[7] = numbers;
+    $[8] = t;
+    $[9] = t3;
+    $[10] = t4;
+  } else {
+    t3 = $[9];
+    t4 = $[10];
+  }
+  useEffect(t3, t4);
+  return state !== null && state.editor === editor ? state.layout : null;
+}