@adecore/editor-react 0.31.11 → 0.32.0

package/dist/pick.js

@@ -7,171 +7,178 @@ const PREVIEW_DELAY_MS = 120;
  * Escape, typing, a click elsewhere or a change of the text close it.
  */
 export class PickFeature {
-    language;
-    timers;
-    spec = null;
-    ids = [];
-    active = '';
-    previewTimer;
-    controller = null;
-    /* The rows that said why they cannot be taken, by id. */
-    refusals = new Map();
-    attempting = false;
-    constructor(language, timers = realTimers) {
-        this.language = language;
-        this.timers = timers;
-        const { editor } = language;
-        const offs = [
-            language.onKey((event) => this.key(event), KEY_PRIORITY.pick),
-            editor.onTextChange(() => this.close()),
-            editor.onCaret(() => this.close()),
-            editor.onBlur(() => this.close())
-        ];
-        language.onDispose(() => {
-            for (const off of offs) {
-                off();
-            }
-            this.close();
-        });
+  language;
+  timers;
+  spec = null;
+  ids = [];
+  active = '';
+  previewTimer;
+  controller = null;
+  /* The rows that said why they cannot be taken, by id. */
+  refusals = new Map();
+  attempting = false;
+  constructor(language, timers = realTimers) {
+    this.language = language;
+    this.timers = timers;
+    const {
+      editor
+    } = language;
+    const offs = [language.onKey(event => this.key(event), KEY_PRIORITY.pick), editor.onTextChange(() => this.close()), editor.onCaret(() => this.close()), editor.onBlur(() => this.close())];
+    language.onDispose(() => {
+      for (const off of offs) {
+        off();
+      }
+      this.close();
+    });
+  }
+  get isOpen() {
+    return this.spec !== null;
+  }
+  open(spec) {
+    this.close();
+    const ids = spec.groups.flatMap(group => group.rows.map(row => row.id));
+    if (ids.length === 0) {
+      return;
     }
-    get isOpen() {
-        return this.spec !== null;
+    this.spec = spec;
+    this.refusals = new Map();
+    this.ids = ids;
+    this.active = spec.active !== undefined && ids.includes(spec.active) ? spec.active : ids[0];
+    this.publish(null);
+    this.schedulePreview();
+  }
+  close() {
+    if (this.spec === null) {
+      return;
     }
-    open(spec) {
-        this.close();
-        const ids = spec.groups.flatMap((group) => group.rows.map((row) => row.id));
-        if (ids.length === 0) {
-            return;
-        }
-        this.spec = spec;
-        this.refusals = new Map();
-        this.ids = ids;
-        this.active = spec.active !== undefined && ids.includes(spec.active) ? spec.active : ids[0];
-        this.publish(null);
-        this.schedulePreview();
+    this.spec = null;
+    this.timers.clear(this.previewTimer);
+    this.controller?.abort();
+    this.controller = null;
+    this.language.popups.setState({
+      pick: null
+    });
+  }
+  move(delta) {
+    const index = this.ids.indexOf(this.active);
+    this.activate(this.ids[Math.max(0, Math.min(this.ids.length - 1, index + delta))]);
+  }
+  /* Takes a row, by a click or Enter. */
+  choose(id) {
+    const spec = this.spec;
+    if (spec === null || !this.ids.includes(id) || this.attempting) {
+      return;
     }
-    close() {
-        if (this.spec === null) {
-            return;
-        }
-        this.spec = null;
-        this.timers.clear(this.previewTimer);
-        this.controller?.abort();
-        this.controller = null;
-        this.language.popups.setState({ pick: null });
+    if (spec.attempt === undefined) {
+      this.close();
+      spec.accept(id);
+      return;
     }
-    move(delta) {
-        const index = this.ids.indexOf(this.active);
-        this.activate(this.ids[Math.max(0, Math.min(this.ids.length - 1, index + delta))]);
-    }
-    /* Takes a row, by a click or Enter. */
-    choose(id) {
-        const spec = this.spec;
-        if (spec === null || !this.ids.includes(id) || this.attempting) {
-            return;
-        }
-        if (spec.attempt === undefined) {
-            this.close();
-            spec.accept(id);
-            return;
-        }
-        this.attempting = true;
-        void spec
-            .attempt(id)
-            .catch(() => null)
-            .then((reason) => {
-            this.attempting = false;
-            if (this.spec !== spec) {
-                return;
-            }
-            if (reason === null) {
-                this.close();
-                spec.accept(id);
-                return;
-            }
-            this.refusals.set(id, reason);
-            this.publish(null);
-        });
+    this.attempting = true;
+    void spec.attempt(id).catch(() => null).then(reason => {
+      this.attempting = false;
+      if (this.spec !== spec) {
+        return;
+      }
+      if (reason === null) {
+        this.close();
+        spec.accept(id);
+        return;
+      }
+      this.refusals.set(id, reason);
+      this.publish(null);
+    });
+  }
+  activate(id) {
+    if (id === this.active) {
+      return;
     }
-    activate(id) {
-        if (id === this.active) {
-            return;
-        }
-        this.active = id;
-        this.controller?.abort();
-        this.publish(null);
-        this.schedulePreview();
+    this.active = id;
+    this.controller?.abort();
+    this.publish(null);
+    this.schedulePreview();
+  }
+  key(event) {
+    if (this.spec === null || event.metaKey || event.ctrlKey || event.altKey) {
+      return false;
     }
-    key(event) {
-        if (this.spec === null || event.metaKey || event.ctrlKey || event.altKey) {
-            return false;
-        }
-        switch (event.key) {
-            case 'ArrowDown':
-                this.move(1);
-                return true;
-            case 'ArrowUp':
-                this.move(-1);
-                return true;
-            case 'PageDown':
-                this.move(8);
-                return true;
-            case 'PageUp':
-                this.move(-8);
-                return true;
-            case 'Home':
-                this.activate(this.ids[0]);
-                return true;
-            case 'End':
-                this.activate(this.ids[this.ids.length - 1]);
-                return true;
-            case 'Enter':
-                this.choose(this.active);
-                return true;
-            case 'Tab': {
-                const spec = this.spec;
-                if (spec.onTab !== undefined) {
-                    this.close();
-                    spec.onTab(event.shiftKey);
-                }
-                else {
-                    this.choose(this.active);
-                }
-                return true;
-            }
-            case 'Escape':
-                this.close();
-                return true;
-            default:
-                return false;
+    switch (event.key) {
+      case 'ArrowDown':
+        this.move(1);
+        return true;
+      case 'ArrowUp':
+        this.move(-1);
+        return true;
+      case 'PageDown':
+        this.move(8);
+        return true;
+      case 'PageUp':
+        this.move(-8);
+        return true;
+      case 'Home':
+        this.activate(this.ids[0]);
+        return true;
+      case 'End':
+        this.activate(this.ids[this.ids.length - 1]);
+        return true;
+      case 'Enter':
+        this.choose(this.active);
+        return true;
+      case 'Tab':
+        {
+          const spec = this.spec;
+          if (spec.onTab !== undefined) {
+            this.close();
+            spec.onTab(event.shiftKey);
+          } else {
+            this.choose(this.active);
+          }
+          return true;
         }
+      case 'Escape':
+        this.close();
+        return true;
+      default:
+        return false;
     }
-    schedulePreview() {
-        const spec = this.spec;
-        this.timers.clear(this.previewTimer);
-        if (spec?.preview === undefined) {
-            return;
-        }
-        const id = this.active;
-        this.previewTimer = this.timers.set(() => {
-            const controller = new AbortController();
-            this.controller = controller;
-            spec.preview(id, controller.signal)
-                .then((preview) => {
-                if (this.spec === spec && this.active === id && !controller.signal.aborted) {
-                    this.publish(preview);
-                }
-            })
-                .catch(() => undefined);
-        }, PREVIEW_DELAY_MS);
+  }
+  schedulePreview() {
+    const spec = this.spec;
+    this.timers.clear(this.previewTimer);
+    if (spec?.preview === undefined) {
+      return;
     }
-    publish(preview) {
-        const spec = this.spec;
-        if (spec === null) {
-            return;
+    const id = this.active;
+    this.previewTimer = this.timers.set(() => {
+      const controller = new AbortController();
+      this.controller = controller;
+      spec.preview(id, controller.signal).then(preview => {
+        if (this.spec === spec && this.active === id && !controller.signal.aborted) {
+          this.publish(preview);
         }
-        const refusal = this.refusals.get(this.active);
-        const shown = refusal === undefined ? preview : { removed: [], added: [], note: null, refusal };
-        this.language.popups.setState({ pick: { anchor: spec.anchor, groups: spec.groups, active: this.active, preview: shown, title: spec.title ?? null } });
+      }).catch(() => undefined);
+    }, PREVIEW_DELAY_MS);
+  }
+  publish(preview) {
+    const spec = this.spec;
+    if (spec === null) {
+      return;
     }
-}
+    const refusal = this.refusals.get(this.active);
+    const shown = refusal === undefined ? preview : {
+      removed: [],
+      added: [],
+      note: null,
+      refusal
+    };
+    this.language.popups.setState({
+      pick: {
+        anchor: spec.anchor,
+        groups: spec.groups,
+        active: this.active,
+        preview: shown,
+        title: spec.title ?? null
+      }
+    });
+  }
+}

package/dist/popup-focus.js

@@ -5,8 +5,8 @@
  * text. A press on the list moves no focus, and a row that gets it anyway hands it straight back.
  */
 export function keepFocusOutOfList(focusBack) {
-    return {
-        onMouseDown: (event) => event.preventDefault(),
-        onFocus: () => focusBack()
-    };
-}
+  return {
+    onMouseDown: event => event.preventDefault(),
+    onFocus: () => focusBack()
+  };
+}

package/dist/popup-placement.js

@@ -5,30 +5,45 @@
  * are the page's own pixels, so a canvas's scale never enters.
  */
 export function placePopup(anchor, size, window, options = {}) {
-    const gap = options.gap ?? 4;
-    const margin = options.margin ?? 8;
-    const roomBelow = window.height - margin - (anchor.bottom + gap);
-    const roomAbove = anchor.top - gap - margin;
-    const fitsBelow = size.height <= roomBelow;
-    const fitsAbove = size.height <= roomAbove;
-    const below = options.prefer === 'above' ? !fitsAbove && (fitsBelow || roomBelow >= roomAbove) : fitsBelow || (!fitsAbove && roomBelow >= roomAbove);
-    const maxHeight = Math.max(0, below ? roomBelow : roomAbove);
-    const height = Math.min(size.height, maxHeight);
-    const left = Math.max(margin, Math.min(anchor.left, window.width - size.width - margin));
-    return { left, top: below ? anchor.bottom + gap : anchor.top - gap - height, maxHeight, side: below ? 'below' : 'above' };
+  const gap = options.gap ?? 4;
+  const margin = options.margin ?? 8;
+  const roomBelow = window.height - margin - (anchor.bottom + gap);
+  const roomAbove = anchor.top - gap - margin;
+  const fitsBelow = size.height <= roomBelow;
+  const fitsAbove = size.height <= roomAbove;
+  const below = options.prefer === 'above' ? !fitsAbove && (fitsBelow || roomBelow >= roomAbove) : fitsBelow || !fitsAbove && roomBelow >= roomAbove;
+  const maxHeight = Math.max(0, below ? roomBelow : roomAbove);
+  const height = Math.min(size.height, maxHeight);
+  const left = Math.max(margin, Math.min(anchor.left, window.width - size.width - margin));
+  return {
+    left,
+    top: below ? anchor.bottom + gap : anchor.top - gap - height,
+    maxHeight,
+    side: below ? 'below' : 'above'
+  };
 }
 /*
  * A second box beside a first, such as the documentation of the highlighted suggestion: to the right
  * of it when it fits, to the left when only that fits, and under it, at its left edge, when neither does.
  */
 export function placeBeside(first, size, window, margin = 8, gap = 4) {
-    const fitsRight = first.left + first.width + gap + size.width <= window.width - margin;
-    const fitsLeft = first.left - gap - size.width >= margin;
-    if (fitsRight || fitsLeft) {
-        const top = Math.max(margin, Math.min(first.top, window.height - size.height - margin));
-        return { left: fitsRight ? first.left + first.width + gap : first.left - gap - size.width, top, maxHeight: window.height - margin * 2, side: 'below' };
-    }
-    const top = first.top + first.height + gap;
-    const maxHeight = Math.max(0, window.height - margin - top);
-    return { left: Math.max(margin, Math.min(first.left, window.width - size.width - margin)), top, maxHeight, side: 'below' };
-}
+  const fitsRight = first.left + first.width + gap + size.width <= window.width - margin;
+  const fitsLeft = first.left - gap - size.width >= margin;
+  if (fitsRight || fitsLeft) {
+    const top = Math.max(margin, Math.min(first.top, window.height - size.height - margin));
+    return {
+      left: fitsRight ? first.left + first.width + gap : first.left - gap - size.width,
+      top,
+      maxHeight: window.height - margin * 2,
+      side: 'below'
+    };
+  }
+  const top = first.top + first.height + gap;
+  const maxHeight = Math.max(0, window.height - margin - top);
+  return {
+    left: Math.max(margin, Math.min(first.left, window.width - size.width - margin)),
+    top,
+    maxHeight,
+    side: 'below'
+  };
+}

package/dist/popups.js

@@ -1,15 +1,15 @@
 import { createStore } from 'zustand';
 export function createPopupStore() {
-    return createStore(() => ({
-        hover: null,
-        completion: null,
-        signature: null,
-        pick: null,
-        rename: null,
-        peek: null,
-        callHierarchy: null,
-        symbols: null,
-        menu: null,
-        authors: null
-    }));
-}
+  return createStore(() => ({
+    hover: null,
+    completion: null,
+    signature: null,
+    pick: null,
+    rename: null,
+    peek: null,
+    callHierarchy: null,
+    symbols: null,
+    menu: null,
+    authors: null
+  }));
+}