@singapore-editor/plugin-ui 0.1.0

package/dist/hoverController.js

@@ -0,0 +1,277 @@
+import { anchoredSurfaceFollowsUpdate } from "./anchoredSurface.js";
+import { createTooltipCodeTokenizer } from "./codeTokens.js";
+import { tooltipCodeBlocks } from "./markdownTooltip.js";
+import { createTooltipController } from "./tooltip.js";
+import { EDITOR_HOVER_PARTICIPANT } from "./hoverToken.js";
+import { hoverTargetRangeInSource, sameOffsetRange, unionOffsetRange } from "./offsetRange.js";
+import { EDITOR_SNIPPET_TOKENS_FEATURE } from "@singapore-editor/core/extensions";
+//#region src/hoverController.ts
+/**
+* The one hover an editor view has.
+*
+* Every plugin with something to say at a position registers an EditorHoverParticipant; this asks
+* all of them on one clock and paints their answers in one surface. Two plugins can therefore never
+* put two hovers on screen, and neither can open on a different delay than the other: the timing
+* is not theirs to set.
+*
+* The clock is VS Code's. With a 300ms delay, async work starts at 150ms so a server answer
+* overlaps the rest of the dwell, sync work runs and the surface paints at 300ms, and a hover still
+* waiting on a server at 900ms shows a loading row.
+*/
+function createHoverController(options) {
+	const { context } = options;
+	const element = context.scrollElement;
+	const ownerDocument = context.container.ownerDocument;
+	let operation = null;
+	let nextOperationId = 0;
+	let theme = context.getSnapshot().theme ?? null;
+	let disposed = false;
+	const snippetTokens = context.getFeature(EDITOR_SNIPPET_TOKENS_FEATURE);
+	const codeTokenizer = snippetTokens ? createTooltipCodeTokenizer(snippetTokens) : null;
+	const tooltip = createTooltipController({
+		document: ownerDocument,
+		themeSource: element,
+		reentryElement: element,
+		markdownCodeBackground: options.markdownCodeBackground,
+		classNamespace: options.classNamespace,
+		codeTokenizer,
+		onDidHide: () => cancelOperation(),
+		onRequestEditorFocus: () => context.focusEditor()
+	});
+	const cancelOperation = () => {
+		const current = operation;
+		if (!current) return;
+		operation = null;
+		clearTimers(current);
+		current.abort.abort();
+	};
+	const hide = () => {
+		cancelOperation();
+		tooltip.hide();
+	};
+	const warmCodeBlock = (block) => {
+		codeTokenizer?.tokenize(block.text, block.languageId);
+	};
+	const isCurrent = (candidate) => operation === candidate;
+	const render = (current) => {
+		if (!isCurrent(current)) return;
+		const parts = orderedParts(current);
+		const blocks = parts.flatMap((part) => part.markdown ? tooltipCodeBlocks(part.markdown) : []);
+		if (!current.revealed) return blocks.forEach(warmCodeBlock);
+		const pending = current.pendingAsync > 0;
+		if (parts.length === 0 && pending && !current.loading) return;
+		if (parts.length === 0 && !pending) return hide();
+		const tokens = codeTokenizer?.prepare(blocks);
+		if (tokens) return void tokens.then(() => render(current));
+		const range = unionOffsetRange(parts.map((part) => part.range)) ?? current.anchor.range;
+		const rect = context.getRangeClientRect(range.start, range.end);
+		if (!rect) return hide();
+		tooltip.show({
+			anchor: rect,
+			hoverText: null,
+			parts,
+			theme,
+			loading: current.loading && pending,
+			focus: current.focusOnShow && !current.shown,
+			preferredPlacement: "top"
+		});
+		current.shown = true;
+	};
+	const runAsync = (current, request) => {
+		for (const participant of current.participants) {
+			if (!participant.computeAsync) continue;
+			current.pendingAsync += 1;
+			const emit = (parts) => {
+				if (!isCurrent(current)) return;
+				resultFor(current, participant).async = parts;
+				render(current);
+			};
+			participant.computeAsync(request, emit).catch(() => void 0).finally(() => {
+				if (!isCurrent(current)) return;
+				current.pendingAsync -= 1;
+				if (current.pendingAsync === 0 && current.loadingTimer) clearTimeout(current.loadingTimer);
+				render(current);
+			});
+		}
+	};
+	const runSync = (current, request) => {
+		for (const participant of current.participants) {
+			if (!participant.computeSync) continue;
+			resultFor(current, participant).sync = participant.computeSync(request);
+		}
+	};
+	const reveal = (current, request) => {
+		if (!isCurrent(current)) return;
+		runSync(current, request);
+		current.revealed = true;
+		render(current);
+	};
+	const revealLoading = (current) => {
+		if (!isCurrent(current) || current.pendingAsync === 0) return;
+		current.revealed = true;
+		current.loading = true;
+		current.loadingTimer = null;
+		render(current);
+	};
+	const start = (anchor, focusOnShow) => {
+		const snapshot = context.getSnapshot();
+		const participants = context.getProviders(EDITOR_HOVER_PARTICIPANT, snapshot.languageId);
+		if (participants.length === 0) return false;
+		hide();
+		nextOperationId += 1;
+		const current = {
+			id: nextOperationId,
+			anchor,
+			snapshot,
+			participants,
+			results: /* @__PURE__ */ new Map(),
+			abort: new AbortController(),
+			focusOnShow,
+			pendingAsync: 0,
+			revealed: false,
+			loading: false,
+			shown: false,
+			dispatchTimer: null,
+			revealTimer: null,
+			loadingTimer: null
+		};
+		operation = current;
+		const request = {
+			anchor,
+			snapshot,
+			signal: current.abort.signal
+		};
+		current.loadingTimer = setTimeout(() => revealLoading(current), 900);
+		if (focusOnShow) {
+			runAsync(current, request);
+			reveal(current, request);
+			return true;
+		}
+		current.dispatchTimer = setTimeout(() => {
+			current.dispatchTimer = null;
+			runAsync(current, request);
+		}, 150);
+		current.revealTimer = setTimeout(() => {
+			current.revealTimer = null;
+			reveal(current, request);
+		}, 300);
+		return true;
+	};
+	const scheduleAt = (offset, point) => {
+		tooltip.cancelHide();
+		const snapshot = context.getSnapshot();
+		const range = hoverTargetRangeInSource(snapshot.textSnapshot, offset);
+		const current = operation;
+		if (current && current.snapshot.textVersion === snapshot.textVersion && sameOffsetRange(current.anchor.range, range)) return;
+		start({
+			offset,
+			range,
+			source: "pointer",
+			point
+		}, false);
+	};
+	const handlePointerMove = (event) => {
+		if (event.buttons !== 0) return hide();
+		if (tooltip.shouldKeepForPointer(event.clientX, event.clientY)) return tooltip.cancelHide();
+		if (!context.hasDocument()) return hide();
+		const offset = context.textOffsetFromPoint(event.clientX, event.clientY);
+		if (offset === null) {
+			cancelOperation();
+			return tooltip.scheduleHide();
+		}
+		scheduleAt(offset, {
+			clientX: event.clientX,
+			clientY: event.clientY
+		});
+	};
+	const handlePointerLeave = (event) => {
+		if (tooltip.containsTarget(event.relatedTarget)) return tooltip.cancelHide();
+		if (operation && !operation.shown) cancelOperation();
+		tooltip.scheduleHide();
+	};
+	const handleDocumentPointerDown = (event) => {
+		if (event.button !== 0) return;
+		if (tooltip.containsTarget(event.target)) return;
+		hide();
+	};
+	const handleKeyDown = (event) => {
+		if (isModifierKey(event.key)) return;
+		hide();
+	};
+	element.addEventListener("pointermove", handlePointerMove);
+	element.addEventListener("pointerleave", handlePointerLeave);
+	element.addEventListener("keydown", handleKeyDown);
+	ownerDocument.addEventListener("pointerdown", handleDocumentPointerDown, { capture: true });
+	return {
+		update: (snapshot, kind) => {
+			const nextTheme = snapshot.theme ?? null;
+			if (nextTheme !== theme) codeTokenizer?.clear();
+			theme = nextTheme;
+			if (shouldHideOnUpdate(kind)) hide();
+		},
+		showAtOffset: (offset, showOptions = {}) => {
+			if (disposed || !context.hasDocument()) return false;
+			const range = hoverTargetRangeInSource(context.getSnapshot().textSnapshot, offset);
+			return start({
+				offset,
+				range,
+				source: "keyboard"
+			}, showOptions.focus ?? false);
+		},
+		hide,
+		containsTarget: (target) => tooltip.containsTarget(target),
+		dispose: () => {
+			if (disposed) return;
+			disposed = true;
+			element.removeEventListener("pointermove", handlePointerMove);
+			element.removeEventListener("pointerleave", handlePointerLeave);
+			element.removeEventListener("keydown", handleKeyDown);
+			ownerDocument.removeEventListener("pointerdown", handleDocumentPointerDown, { capture: true });
+			hide();
+			tooltip.dispose();
+		}
+	};
+}
+function resultFor(operation, participant) {
+	const existing = operation.results.get(participant);
+	if (existing) return existing;
+	const created = {
+		sync: [],
+		async: []
+	};
+	operation.results.set(participant, created);
+	return created;
+}
+/** Every part on screen, lowest ordinal first; ties keep participant and emission order. */
+function orderedParts(operation) {
+	const parts = [];
+	for (const participant of operation.participants) {
+		const result = operation.results.get(participant);
+		if (!result) continue;
+		parts.push(...result.sync, ...result.async);
+	}
+	return parts.toSorted((left, right) => left.ordinal - right.ordinal);
+}
+function clearTimers(operation) {
+	if (operation.dispatchTimer) clearTimeout(operation.dispatchTimer);
+	if (operation.revealTimer) clearTimeout(operation.revealTimer);
+	if (operation.loadingTimer) clearTimeout(operation.loadingTimer);
+	operation.dispatchTimer = null;
+	operation.revealTimer = null;
+	operation.loadingTimer = null;
+}
+/**
+* A scroll or relayout moves the text out from under the hover, and an edit may have changed what
+* it says. Both belong to the old frame, so the hover goes with them.
+*/
+function shouldHideOnUpdate(kind) {
+	if (anchoredSurfaceFollowsUpdate(kind)) return true;
+	return kind === "content" || kind === "document" || kind === "clear";
+}
+function isModifierKey(key) {
+	return key === "Shift" || key === "Control" || key === "Alt" || key === "Meta";
+}
+//#endregion
+export { createHoverController };
+
+//# sourceMappingURL=hoverController.js.map

package/dist/hoverController.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverController.js","names":[],"sources":["../src/hoverController.ts"],"sourcesContent":["import type {\n  EditorViewContributionContext,\n  EditorViewContributionUpdateKind,\n  EditorViewSnapshot,\n} from '@singapore-editor/core/extensions'\nimport type { EditorTheme } from '@singapore-editor/core/rendering'\n\nimport { EDITOR_SNIPPET_TOKENS_FEATURE } from '@singapore-editor/core/extensions'\n\nimport { anchoredSurfaceFollowsUpdate } from './anchoredSurface'\nimport { createTooltipCodeTokenizer, type TooltipCodeBlock } from './codeTokens'\nimport { tooltipCodeBlocks } from './markdownTooltip'\nimport type {\n  EditorHoverParticipant,\n  HoverAnchor,\n  HoverPart,\n  HoverRequest,\n} from './hoverParticipant'\nimport { EDITOR_HOVER_PARTICIPANT } from './hoverToken'\nimport { hoverTargetRangeInSource, sameOffsetRange, unionOffsetRange } from './offsetRange'\nimport {\n  createTooltipController,\n  HOVER_ASYNC_DISPATCH_DELAY_MS,\n  HOVER_LOADING_DELAY_MS,\n  HOVER_REQUEST_DEBOUNCE_MS,\n  type TooltipController,\n} from './tooltip'\n\nexport type HoverControllerOptions = {\n  readonly context: EditorViewContributionContext\n  readonly classNamespace?: string\n  readonly markdownCodeBackground?: boolean\n}\n\nexport type HoverController = {\n  update(snapshot: EditorViewSnapshot, kind: EditorViewContributionUpdateKind): void\n  /** Shows the hover at an offset right away, as a keyboard summons does. */\n  showAtOffset(offset: number, options?: { readonly focus?: boolean }): boolean\n  hide(): void\n  containsTarget(target: EventTarget | null): boolean\n  dispose(): void\n}\n\ntype ParticipantResult = {\n  sync: readonly HoverPart[]\n  async: readonly HoverPart[]\n}\n\ntype HoverOperation = {\n  readonly id: number\n  readonly anchor: HoverAnchor\n  readonly snapshot: EditorViewSnapshot\n  readonly participants: readonly EditorHoverParticipant[]\n  readonly results: Map<EditorHoverParticipant, ParticipantResult>\n  readonly abort: AbortController\n  readonly focusOnShow: boolean\n  pendingAsync: number\n  revealed: boolean\n  loading: boolean\n  shown: boolean\n  dispatchTimer: ReturnType<typeof setTimeout> | null\n  revealTimer: ReturnType<typeof setTimeout> | null\n  loadingTimer: ReturnType<typeof setTimeout> | null\n}\n\n/**\n * The one hover an editor view has.\n *\n * Every plugin with something to say at a position registers an EditorHoverParticipant; this asks\n * all of them on one clock and paints their answers in one surface. Two plugins can therefore never\n * put two hovers on screen, and neither can open on a different delay than the other: the timing\n * is not theirs to set.\n *\n * The clock is VS Code's. With a 300ms delay, async work starts at 150ms so a server answer\n * overlaps the rest of the dwell, sync work runs and the surface paints at 300ms, and a hover still\n * waiting on a server at 900ms shows a loading row.\n */\nexport function createHoverController(options: HoverControllerOptions): HoverController {\n  const { context } = options\n  const element = context.scrollElement\n  const ownerDocument = context.container.ownerDocument\n  let operation: HoverOperation | null = null\n  let nextOperationId = 0\n  let theme: EditorTheme | null = context.getSnapshot().theme ?? null\n  let disposed = false\n  const snippetTokens = context.getFeature(EDITOR_SNIPPET_TOKENS_FEATURE)\n  const codeTokenizer = snippetTokens ? createTooltipCodeTokenizer(snippetTokens) : null\n\n  const tooltip: TooltipController = createTooltipController({\n    document: ownerDocument,\n    themeSource: element,\n    reentryElement: element,\n    markdownCodeBackground: options.markdownCodeBackground,\n    classNamespace: options.classNamespace,\n    codeTokenizer,\n    onDidHide: () => cancelOperation(),\n    onRequestEditorFocus: () => context.focusEditor(),\n  })\n\n  const cancelOperation = (): void => {\n    const current = operation\n    if (!current) return\n    operation = null\n    clearTimers(current)\n    current.abort.abort()\n  }\n\n  const hide = (): void => {\n    cancelOperation()\n    tooltip.hide()\n  }\n\n  const warmCodeBlock = (block: TooltipCodeBlock): void => {\n    void codeTokenizer?.tokenize(block.text, block.languageId)\n  }\n\n  const isCurrent = (candidate: HoverOperation): boolean => operation === candidate\n\n  const render = (current: HoverOperation): void => {\n    if (!isCurrent(current)) return\n\n    const parts = orderedParts(current)\n    const blocks = parts.flatMap((part) => (part.markdown ? tooltipCodeBlocks(part.markdown) : []))\n    // An answer usually lands inside the dwell, so its tokens are asked for before the reveal.\n    if (!current.revealed) return blocks.forEach(warmCodeBlock)\n\n    const pending = current.pendingAsync > 0\n    if (parts.length === 0 && pending && !current.loading) return\n    if (parts.length === 0 && !pending) return hide()\n\n    const tokens = codeTokenizer?.prepare(blocks)\n    if (tokens) return void tokens.then(() => render(current))\n\n    const range = unionOffsetRange(parts.map((part) => part.range)) ?? current.anchor.range\n    const rect = context.getRangeClientRect(range.start, range.end)\n    if (!rect) return hide()\n\n    tooltip.show({\n      anchor: rect,\n      hoverText: null,\n      parts,\n      theme,\n      loading: current.loading && pending,\n      focus: current.focusOnShow && !current.shown,\n      preferredPlacement: 'top',\n    })\n    current.shown = true\n  }\n\n  const runAsync = (current: HoverOperation, request: HoverRequest): void => {\n    for (const participant of current.participants) {\n      if (!participant.computeAsync) continue\n      current.pendingAsync += 1\n      const emit = (parts: readonly HoverPart[]): void => {\n        if (!isCurrent(current)) return\n        resultFor(current, participant).async = parts\n        render(current)\n      }\n      participant\n        .computeAsync(request, emit)\n        .catch(() => undefined)\n        .finally(() => {\n          if (!isCurrent(current)) return\n          current.pendingAsync -= 1\n          if (current.pendingAsync === 0 && current.loadingTimer) clearTimeout(current.loadingTimer)\n          render(current)\n        })\n    }\n  }\n\n  const runSync = (current: HoverOperation, request: HoverRequest): void => {\n    for (const participant of current.participants) {\n      if (!participant.computeSync) continue\n      resultFor(current, participant).sync = participant.computeSync(request)\n    }\n  }\n\n  const reveal = (current: HoverOperation, request: HoverRequest): void => {\n    if (!isCurrent(current)) return\n    runSync(current, request)\n    current.revealed = true\n    render(current)\n  }\n\n  const revealLoading = (current: HoverOperation): void => {\n    if (!isCurrent(current) || current.pendingAsync === 0) return\n    current.revealed = true\n    current.loading = true\n    current.loadingTimer = null\n    render(current)\n  }\n\n  const start = (anchor: HoverAnchor, focusOnShow: boolean): boolean => {\n    const snapshot = context.getSnapshot()\n    const participants = context.getProviders(EDITOR_HOVER_PARTICIPANT, snapshot.languageId)\n    if (participants.length === 0) return false\n\n    hide()\n    nextOperationId += 1\n    const current: HoverOperation = {\n      id: nextOperationId,\n      anchor,\n      snapshot,\n      participants,\n      results: new Map(),\n      abort: new AbortController(),\n      focusOnShow,\n      pendingAsync: 0,\n      revealed: false,\n      loading: false,\n      shown: false,\n      dispatchTimer: null,\n      revealTimer: null,\n      loadingTimer: null,\n    }\n    operation = current\n    const request: HoverRequest = { anchor, snapshot, signal: current.abort.signal }\n    // @justification Delays the loading row until the participants are observably slow; every\n    // target change cancels it.\n    current.loadingTimer = setTimeout(() => revealLoading(current), HOVER_LOADING_DELAY_MS)\n    if (focusOnShow) {\n      runAsync(current, request)\n      reveal(current, request)\n      return true\n    }\n\n    // @justification Starts server work midway through the pointer dwell so transient targets are\n    // skipped while network time overlaps the rest of the dwell.\n    current.dispatchTimer = setTimeout(() => {\n      current.dispatchTimer = null\n      runAsync(current, request)\n    }, HOVER_ASYNC_DISPATCH_DELAY_MS)\n    // @justification Enforces the hover dwell before paint; the pointer leaving the target clears it.\n    current.revealTimer = setTimeout(() => {\n      current.revealTimer = null\n      reveal(current, request)\n    }, HOVER_REQUEST_DEBOUNCE_MS)\n    return true\n  }\n\n  const scheduleAt = (offset: number, point: HoverAnchor['point']): void => {\n    tooltip.cancelHide()\n    const snapshot = context.getSnapshot()\n    const range = hoverTargetRangeInSource(snapshot.textSnapshot, offset)\n    const current = operation\n    if (\n      current &&\n      current.snapshot.textVersion === snapshot.textVersion &&\n      sameOffsetRange(current.anchor.range, range)\n    ) {\n      return\n    }\n\n    start({ offset, range, source: 'pointer', point }, false)\n  }\n\n  const handlePointerMove = (event: PointerEvent): void => {\n    if (event.buttons !== 0) return hide()\n    if (tooltip.shouldKeepForPointer(event.clientX, event.clientY)) return tooltip.cancelHide()\n    if (!context.hasDocument()) return hide()\n\n    const offset = context.textOffsetFromPoint(event.clientX, event.clientY)\n    if (offset === null) {\n      cancelOperation()\n      return tooltip.scheduleHide()\n    }\n\n    scheduleAt(offset, { clientX: event.clientX, clientY: event.clientY })\n  }\n\n  const handlePointerLeave = (event: PointerEvent): void => {\n    if (tooltip.containsTarget(event.relatedTarget)) return tooltip.cancelHide()\n    // A hover that has not painted yet has nothing to keep: the pointer is gone.\n    if (operation && !operation.shown) cancelOperation()\n    tooltip.scheduleHide()\n  }\n\n  const handleDocumentPointerDown = (event: PointerEvent): void => {\n    if (event.button !== 0) return\n    if (tooltip.containsTarget(event.target)) return\n    hide()\n  }\n\n  const handleKeyDown = (event: KeyboardEvent): void => {\n    if (isModifierKey(event.key)) return\n    hide()\n  }\n\n  element.addEventListener('pointermove', handlePointerMove)\n  element.addEventListener('pointerleave', handlePointerLeave)\n  element.addEventListener('keydown', handleKeyDown)\n  ownerDocument.addEventListener('pointerdown', handleDocumentPointerDown, { capture: true })\n\n  return {\n    update: (snapshot, kind) => {\n      const nextTheme = snapshot.theme ?? null\n      if (nextTheme !== theme) codeTokenizer?.clear()\n      theme = nextTheme\n      if (shouldHideOnUpdate(kind)) hide()\n    },\n    showAtOffset: (offset, showOptions = {}) => {\n      if (disposed || !context.hasDocument()) return false\n      const range = hoverTargetRangeInSource(context.getSnapshot().textSnapshot, offset)\n      return start({ offset, range, source: 'keyboard' }, showOptions.focus ?? false)\n    },\n    hide,\n    containsTarget: (target) => tooltip.containsTarget(target),\n    dispose: () => {\n      if (disposed) return\n      disposed = true\n      element.removeEventListener('pointermove', handlePointerMove)\n      element.removeEventListener('pointerleave', handlePointerLeave)\n      element.removeEventListener('keydown', handleKeyDown)\n      ownerDocument.removeEventListener('pointerdown', handleDocumentPointerDown, { capture: true })\n      hide()\n      tooltip.dispose()\n    },\n  }\n}\n\nfunction resultFor(\n  operation: HoverOperation,\n  participant: EditorHoverParticipant,\n): ParticipantResult {\n  const existing = operation.results.get(participant)\n  if (existing) return existing\n  const created: ParticipantResult = { sync: [], async: [] }\n  operation.results.set(participant, created)\n  return created\n}\n\n/** Every part on screen, lowest ordinal first; ties keep participant and emission order. */\nfunction orderedParts(operation: HoverOperation): readonly HoverPart[] {\n  const parts: HoverPart[] = []\n  for (const participant of operation.participants) {\n    const result = operation.results.get(participant)\n    if (!result) continue\n    parts.push(...result.sync, ...result.async)\n  }\n  return parts.toSorted((left, right) => left.ordinal - right.ordinal)\n}\n\nfunction clearTimers(operation: HoverOperation): void {\n  if (operation.dispatchTimer) clearTimeout(operation.dispatchTimer)\n  if (operation.revealTimer) clearTimeout(operation.revealTimer)\n  if (operation.loadingTimer) clearTimeout(operation.loadingTimer)\n  operation.dispatchTimer = null\n  operation.revealTimer = null\n  operation.loadingTimer = null\n}\n\n/**\n * A scroll or relayout moves the text out from under the hover, and an edit may have changed what\n * it says. Both belong to the old frame, so the hover goes with them.\n */\nfunction shouldHideOnUpdate(kind: EditorViewContributionUpdateKind): boolean {\n  if (anchoredSurfaceFollowsUpdate(kind)) return true\n  return kind === 'content' || kind === 'document' || kind === 'clear'\n}\n\nfunction isModifierKey(key: string): boolean {\n  return key === 'Shift' || key === 'Control' || key === 'Alt' || key === 'Meta'\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AA6EA,SAAgB,sBAAsB,SAAkD;CACtF,MAAM,EAAE,YAAY;CACpB,MAAM,UAAU,QAAQ;CACxB,MAAM,gBAAgB,QAAQ,UAAU;CACxC,IAAI,YAAmC;CACvC,IAAI,kBAAkB;CACtB,IAAI,QAA4B,QAAQ,YAAY,CAAC,CAAC,SAAS;CAC/D,IAAI,WAAW;CACf,MAAM,gBAAgB,QAAQ,WAAW,6BAA6B;CACtE,MAAM,gBAAgB,gBAAgB,2BAA2B,aAAa,IAAI;CAElF,MAAM,UAA6B,wBAAwB;EACzD,UAAU;EACV,aAAa;EACb,gBAAgB;EAChB,wBAAwB,QAAQ;EAChC,gBAAgB,QAAQ;EACxB;EACA,iBAAiB,gBAAgB;EACjC,4BAA4B,QAAQ,YAAY;CAClD,CAAC;CAED,MAAM,wBAA8B;EAClC,MAAM,UAAU;EAChB,IAAI,CAAC,SAAS;EACd,YAAY;EACZ,YAAY,OAAO;EACnB,QAAQ,MAAM,MAAM;CACtB;CAEA,MAAM,aAAmB;EACvB,gBAAgB;EAChB,QAAQ,KAAK;CACf;CAEA,MAAM,iBAAiB,UAAkC;EACvD,eAAoB,SAAS,MAAM,MAAM,MAAM,UAAU;CAC3D;CAEA,MAAM,aAAa,cAAuC,cAAc;CAExE,MAAM,UAAU,YAAkC;EAChD,IAAI,CAAC,UAAU,OAAO,GAAG;EAEzB,MAAM,QAAQ,aAAa,OAAO;EAClC,MAAM,SAAS,MAAM,SAAS,SAAU,KAAK,WAAW,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAE;EAE9F,IAAI,CAAC,QAAQ,UAAU,OAAO,OAAO,QAAQ,aAAa;EAE1D,MAAM,UAAU,QAAQ,eAAe;EACvC,IAAI,MAAM,WAAW,KAAK,WAAW,CAAC,QAAQ,SAAS;EACvD,IAAI,MAAM,WAAW,KAAK,CAAC,SAAS,OAAO,KAAK;EAEhD,MAAM,SAAS,eAAe,QAAQ,MAAM;EAC5C,IAAI,QAAQ,OAAO,KAAK,OAAO,WAAW,OAAO,OAAO,CAAC;EAEzD,MAAM,QAAQ,iBAAiB,MAAM,KAAK,SAAS,KAAK,KAAK,CAAC,KAAK,QAAQ,OAAO;EAClF,MAAM,OAAO,QAAQ,mBAAmB,MAAM,OAAO,MAAM,GAAG;EAC9D,IAAI,CAAC,MAAM,OAAO,KAAK;EAEvB,QAAQ,KAAK;GACX,QAAQ;GACR,WAAW;GACX;GACA;GACA,SAAS,QAAQ,WAAW;GAC5B,OAAO,QAAQ,eAAe,CAAC,QAAQ;GACvC,oBAAoB;EACtB,CAAC;EACD,QAAQ,QAAQ;CAClB;CAEA,MAAM,YAAY,SAAyB,YAAgC;EACzE,KAAK,MAAM,eAAe,QAAQ,cAAc;GAC9C,IAAI,CAAC,YAAY,cAAc;GAC/B,QAAQ,gBAAgB;GACxB,MAAM,QAAQ,UAAsC;IAClD,IAAI,CAAC,UAAU,OAAO,GAAG;IACzB,UAAU,SAAS,WAAW,CAAC,CAAC,QAAQ;IACxC,OAAO,OAAO;GAChB;GACA,YACG,aAAa,SAAS,IAAI,CAAC,CAC3B,YAAY,KAAA,CAAS,CAAC,CACtB,cAAc;IACb,IAAI,CAAC,UAAU,OAAO,GAAG;IACzB,QAAQ,gBAAgB;IACxB,IAAI,QAAQ,iBAAiB,KAAK,QAAQ,cAAc,aAAa,QAAQ,YAAY;IACzF,OAAO,OAAO;GAChB,CAAC;EACL;CACF;CAEA,MAAM,WAAW,SAAyB,YAAgC;EACxE,KAAK,MAAM,eAAe,QAAQ,cAAc;GAC9C,IAAI,CAAC,YAAY,aAAa;GAC9B,UAAU,SAAS,WAAW,CAAC,CAAC,OAAO,YAAY,YAAY,OAAO;EACxE;CACF;CAEA,MAAM,UAAU,SAAyB,YAAgC;EACvE,IAAI,CAAC,UAAU,OAAO,GAAG;EACzB,QAAQ,SAAS,OAAO;EACxB,QAAQ,WAAW;EACnB,OAAO,OAAO;CAChB;CAEA,MAAM,iBAAiB,YAAkC;EACvD,IAAI,CAAC,UAAU,OAAO,KAAK,QAAQ,iBAAiB,GAAG;EACvD,QAAQ,WAAW;EACnB,QAAQ,UAAU;EAClB,QAAQ,eAAe;EACvB,OAAO,OAAO;CAChB;CAEA,MAAM,SAAS,QAAqB,gBAAkC;EACpE,MAAM,WAAW,QAAQ,YAAY;EACrC,MAAM,eAAe,QAAQ,aAAa,0BAA0B,SAAS,UAAU;EACvF,IAAI,aAAa,WAAW,GAAG,OAAO;EAEtC,KAAK;EACL,mBAAmB;EACnB,MAAM,UAA0B;GAC9B,IAAI;GACJ;GACA;GACA;GACA,yBAAS,IAAI,IAAI;GACjB,OAAO,IAAI,gBAAgB;GAC3B;GACA,cAAc;GACd,UAAU;GACV,SAAS;GACT,OAAO;GACP,eAAe;GACf,aAAa;GACb,cAAc;EAChB;EACA,YAAY;EACZ,MAAM,UAAwB;GAAE;GAAQ;GAAU,QAAQ,QAAQ,MAAM;EAAO;EAG/E,QAAQ,eAAe,iBAAiB,cAAc,OAAO,GAAA,GAAyB;EACtF,IAAI,aAAa;GACf,SAAS,SAAS,OAAO;GACzB,OAAO,SAAS,OAAO;GACvB,OAAO;EACT;EAIA,QAAQ,gBAAgB,iBAAiB;GACvC,QAAQ,gBAAgB;GACxB,SAAS,SAAS,OAAO;EAC3B,GAAA,GAAgC;EAEhC,QAAQ,cAAc,iBAAiB;GACrC,QAAQ,cAAc;GACtB,OAAO,SAAS,OAAO;EACzB,GAAA,GAA4B;EAC5B,OAAO;CACT;CAEA,MAAM,cAAc,QAAgB,UAAsC;EACxE,QAAQ,WAAW;EACnB,MAAM,WAAW,QAAQ,YAAY;EACrC,MAAM,QAAQ,yBAAyB,SAAS,cAAc,MAAM;EACpE,MAAM,UAAU;EAChB,IACE,WACA,QAAQ,SAAS,gBAAgB,SAAS,eAC1C,gBAAgB,QAAQ,OAAO,OAAO,KAAK,GAE3C;EAGF,MAAM;GAAE;GAAQ;GAAO,QAAQ;GAAW;EAAM,GAAG,KAAK;CAC1D;CAEA,MAAM,qBAAqB,UAA8B;EACvD,IAAI,MAAM,YAAY,GAAG,OAAO,KAAK;EACrC,IAAI,QAAQ,qBAAqB,MAAM,SAAS,MAAM,OAAO,GAAG,OAAO,QAAQ,WAAW;EAC1F,IAAI,CAAC,QAAQ,YAAY,GAAG,OAAO,KAAK;EAExC,MAAM,SAAS,QAAQ,oBAAoB,MAAM,SAAS,MAAM,OAAO;EACvE,IAAI,WAAW,MAAM;GACnB,gBAAgB;GAChB,OAAO,QAAQ,aAAa;EAC9B;EAEA,WAAW,QAAQ;GAAE,SAAS,MAAM;GAAS,SAAS,MAAM;EAAQ,CAAC;CACvE;CAEA,MAAM,sBAAsB,UAA8B;EACxD,IAAI,QAAQ,eAAe,MAAM,aAAa,GAAG,OAAO,QAAQ,WAAW;EAE3E,IAAI,aAAa,CAAC,UAAU,OAAO,gBAAgB;EACnD,QAAQ,aAAa;CACvB;CAEA,MAAM,6BAA6B,UAA8B;EAC/D,IAAI,MAAM,WAAW,GAAG;EACxB,IAAI,QAAQ,eAAe,MAAM,MAAM,GAAG;EAC1C,KAAK;CACP;CAEA,MAAM,iBAAiB,UAA+B;EACpD,IAAI,cAAc,MAAM,GAAG,GAAG;EAC9B,KAAK;CACP;CAEA,QAAQ,iBAAiB,eAAe,iBAAiB;CACzD,QAAQ,iBAAiB,gBAAgB,kBAAkB;CAC3D,QAAQ,iBAAiB,WAAW,aAAa;CACjD,cAAc,iBAAiB,eAAe,2BAA2B,EAAE,SAAS,KAAK,CAAC;CAE1F,OAAO;EACL,SAAS,UAAU,SAAS;GAC1B,MAAM,YAAY,SAAS,SAAS;GACpC,IAAI,cAAc,OAAO,eAAe,MAAM;GAC9C,QAAQ;GACR,IAAI,mBAAmB,IAAI,GAAG,KAAK;EACrC;EACA,eAAe,QAAQ,cAAc,CAAC,MAAM;GAC1C,IAAI,YAAY,CAAC,QAAQ,YAAY,GAAG,OAAO;GAC/C,MAAM,QAAQ,yBAAyB,QAAQ,YAAY,CAAC,CAAC,cAAc,MAAM;GACjF,OAAO,MAAM;IAAE;IAAQ;IAAO,QAAQ;GAAW,GAAG,YAAY,SAAS,KAAK;EAChF;EACA;EACA,iBAAiB,WAAW,QAAQ,eAAe,MAAM;EACzD,eAAe;GACb,IAAI,UAAU;GACd,WAAW;GACX,QAAQ,oBAAoB,eAAe,iBAAiB;GAC5D,QAAQ,oBAAoB,gBAAgB,kBAAkB;GAC9D,QAAQ,oBAAoB,WAAW,aAAa;GACpD,cAAc,oBAAoB,eAAe,2BAA2B,EAAE,SAAS,KAAK,CAAC;GAC7F,KAAK;GACL,QAAQ,QAAQ;EAClB;CACF;AACF;AAEA,SAAS,UACP,WACA,aACmB;CACnB,MAAM,WAAW,UAAU,QAAQ,IAAI,WAAW;CAClD,IAAI,UAAU,OAAO;CACrB,MAAM,UAA6B;EAAE,MAAM,CAAC;EAAG,OAAO,CAAC;CAAE;CACzD,UAAU,QAAQ,IAAI,aAAa,OAAO;CAC1C,OAAO;AACT;;AAGA,SAAS,aAAa,WAAiD;CACrE,MAAM,QAAqB,CAAC;CAC5B,KAAK,MAAM,eAAe,UAAU,cAAc;EAChD,MAAM,SAAS,UAAU,QAAQ,IAAI,WAAW;EAChD,IAAI,CAAC,QAAQ;EACb,MAAM,KAAK,GAAG,OAAO,MAAM,GAAG,OAAO,KAAK;CAC5C;CACA,OAAO,MAAM,UAAU,MAAM,UAAU,KAAK,UAAU,MAAM,OAAO;AACrE;AAEA,SAAS,YAAY,WAAiC;CACpD,IAAI,UAAU,eAAe,aAAa,UAAU,aAAa;CACjE,IAAI,UAAU,aAAa,aAAa,UAAU,WAAW;CAC7D,IAAI,UAAU,cAAc,aAAa,UAAU,YAAY;CAC/D,UAAU,gBAAgB;CAC1B,UAAU,cAAc;CACxB,UAAU,eAAe;AAC3B;;;;;AAMA,SAAS,mBAAmB,MAAiD;CAC3E,IAAI,6BAA6B,IAAI,GAAG,OAAO;CAC/C,OAAO,SAAS,aAAa,SAAS,cAAc,SAAS;AAC/D;AAEA,SAAS,cAAc,KAAsB;CAC3C,OAAO,QAAQ,WAAW,QAAQ,aAAa,QAAQ,SAAS,QAAQ;AAC1E"}

package/dist/hoverParticipant.d.ts

@@ -0,0 +1,48 @@
+import type { EditorViewSnapshot } from '@singapore-editor/core/extensions';
+import type { OffsetRange } from './offsetRange';
+import type { TooltipPart } from './tooltip';
+export { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID } from './hoverToken';
+/** Where the hover is being asked about. */
+export type HoverAnchor = {
+    readonly offset: number;
+    /** The identifier under the offset, or the single character there. */
+    readonly range: OffsetRange;
+    readonly source: 'pointer' | 'keyboard';
+    /**
+     * Where the pointer is, for a participant whose subject is a painted element rather than text:
+     * a zero-width character's marker has an extent the text offset does not.
+     */
+    readonly point?: {
+        readonly clientX: number;
+        readonly clientY: number;
+    };
+};
+export type HoverRequest = {
+    readonly anchor: HoverAnchor;
+    readonly snapshot: EditorViewSnapshot;
+    /** Aborted the moment the hover moves on; an answer after that is never shown. */
+    readonly signal: AbortSignal;
+};
+/** One thing a participant has to say. The hover shows every part of every participant at once. */
+export type HoverPart = TooltipPart & {
+    /** Lower comes first. Parts from one participant keep the order they were emitted in. */
+    readonly ordinal: number;
+    /** The text this part is about; the hover anchors to the union of its parts' ranges. */
+    readonly range: OffsetRange;
+};
+/**
+ * A source of hover content. The hover controller owns the pointer, the delay and the surface; a
+ * participant only answers what is at a position. Modeled on VS Code's hover participants: sync
+ * answers come from what is already in the view (markers, decorations), async ones from a server.
+ */
+export type EditorHoverParticipant = {
+    /** Asked once the pointer has settled. Cheap: it runs on the main thread at reveal time. */
+    computeSync?(request: HoverRequest): readonly HoverPart[];
+    /**
+     * Started halfway through the delay so network time overlaps the rest of the dwell. `emit`
+     * replaces this participant's async parts, so a progressive answer shows as it grows. Resolves
+     * when the participant has nothing more to add.
+     */
+    computeAsync?(request: HoverRequest, emit: (parts: readonly HoverPart[]) => void): Promise<void>;
+};
+//# sourceMappingURL=hoverParticipant.d.ts.map

package/dist/hoverParticipant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverParticipant.d.ts","sourceRoot":"","sources":["../src/hoverParticipant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAA;AAE3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAE5C,OAAO,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAA;AAEpF,4CAA4C;AAC5C,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,UAAU,CAAA;IACvC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;CACxE,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAA;IACrC,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAC7B,CAAA;AAED,mGAAmG;AACnG,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAC5B,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,4FAA4F;IAC5F,WAAW,CAAC,CAAC,OAAO,EAAE,YAAY,GAAG,SAAS,SAAS,EAAE,CAAA;IACzD;;;;OAIG;IACH,YAAY,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CACjG,CAAA"}

package/dist/hoverParticipant.js

@@ -0,0 +1,2 @@
+import { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID } from "./hoverToken.js";
+export { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID };

package/dist/hoverPlugin.d.ts

@@ -0,0 +1,14 @@
+import type { EditorPlugin } from '@singapore-editor/core/extensions';
+export type HoverPluginOptions = {
+    readonly name?: string;
+    readonly classNamespace?: string;
+    readonly markdownCodeBackground?: boolean;
+};
+/**
+ * The one hover per view and the command that summons it from the caret. Participants register
+ * through EDITOR_HOVER_PARTICIPANT; this plugin has no content of its own. An editor installs it by
+ * itself once a participant registers (see hoverToken.ts); a test with a hand-made view context
+ * installs it directly.
+ */
+export declare function createHoverPlugin(options?: HoverPluginOptions): EditorPlugin;
+//# sourceMappingURL=hoverPlugin.d.ts.map

package/dist/hoverPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverPlugin.d.ts","sourceRoot":"","sources":["../src/hoverPlugin.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EAGb,MAAM,mCAAmC,CAAA;AAK1C,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAA;CAC1C,CAAA;AAOD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,GAAE,kBAAuB,GAAG,YAAY,CAKhF"}

package/dist/hoverPlugin.js

@@ -0,0 +1,49 @@
+import { createHoverController } from "./hoverController.js";
+import { clearHoverController, setHoverController } from "./hoverRegistry.js";
+//#region src/hoverPlugin.ts
+/**
+* The one hover per view and the command that summons it from the caret. Participants register
+* through EDITOR_HOVER_PARTICIPANT; this plugin has no content of its own. An editor installs it by
+* itself once a participant registers (see hoverToken.ts); a test with a hand-made view context
+* installs it directly.
+*/
+function createHoverPlugin(options = {}) {
+	return {
+		name: options.name ?? "editor.hover",
+		activate: (plugin) => activateHover(plugin, options)
+	};
+}
+function activateHover(plugin, options) {
+	const live = /* @__PURE__ */ new Set();
+	return [plugin.registerViewContribution({ createContribution: (context) => {
+		const controller = createHoverController({
+			context,
+			...options
+		});
+		const entry = {
+			context,
+			controller
+		};
+		live.add(entry);
+		setHoverController(context.scrollElement, controller);
+		return {
+			update: (snapshot, kind) => controller.update(snapshot, kind),
+			dispose: () => {
+				live.delete(entry);
+				clearHoverController(context.scrollElement, controller);
+				controller.dispose();
+			}
+		};
+	} }), plugin.registerCommandContribution({ createContribution: (commands) => commands.registerCommand("editor.action.showHover", () => {
+		for (const { context, controller } of live) {
+			const selection = context.getSnapshot().selections[0];
+			if (!selection) continue;
+			if (controller.showAtOffset(selection.headOffset, { focus: true })) return true;
+		}
+		return false;
+	}) })];
+}
+//#endregion
+export { createHoverPlugin };
+
+//# sourceMappingURL=hoverPlugin.js.map

package/dist/hoverPlugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverPlugin.js","names":[],"sources":["../src/hoverPlugin.ts"],"sourcesContent":["import type {\n  EditorPlugin,\n  EditorPluginContext,\n  EditorViewContributionContext,\n} from '@singapore-editor/core/extensions'\n\nimport { createHoverController, type HoverController } from './hoverController'\nimport { clearHoverController, setHoverController } from './hoverRegistry'\n\nexport type HoverPluginOptions = {\n  readonly name?: string\n  readonly classNamespace?: string\n  readonly markdownCodeBackground?: boolean\n}\n\ntype LiveHover = {\n  readonly context: EditorViewContributionContext\n  readonly controller: HoverController\n}\n\n/**\n * The one hover per view and the command that summons it from the caret. Participants register\n * through EDITOR_HOVER_PARTICIPANT; this plugin has no content of its own. An editor installs it by\n * itself once a participant registers (see hoverToken.ts); a test with a hand-made view context\n * installs it directly.\n */\nexport function createHoverPlugin(options: HoverPluginOptions = {}): EditorPlugin {\n  return {\n    name: options.name ?? 'editor.hover',\n    activate: (plugin) => activateHover(plugin, options),\n  }\n}\n\nfunction activateHover(plugin: EditorPluginContext, options: HoverPluginOptions) {\n  // Per activation, so the command only walks the views of the editor that dispatched it.\n  const live = new Set<LiveHover>()\n  return [\n    plugin.registerViewContribution({\n      createContribution: (context) => {\n        const controller = createHoverController({ context, ...options })\n        const entry: LiveHover = { context, controller }\n        live.add(entry)\n        setHoverController(context.scrollElement, controller)\n        return {\n          update: (snapshot, kind) => controller.update(snapshot, kind),\n          dispose: () => {\n            live.delete(entry)\n            clearHoverController(context.scrollElement, controller)\n            controller.dispose()\n          },\n        }\n      },\n    }),\n    plugin.registerCommandContribution({\n      createContribution: (commands) =>\n        commands.registerCommand('editor.action.showHover', () => {\n          for (const { context, controller } of live) {\n            const selection = context.getSnapshot().selections[0]\n            if (!selection) continue\n            if (controller.showAtOffset(selection.headOffset, { focus: true })) return true\n          }\n          return false\n        }),\n    }),\n  ]\n}\n"],"mappings":";;;;;;;;;AA0BA,SAAgB,kBAAkB,UAA8B,CAAC,GAAiB;CAChF,OAAO;EACL,MAAM,QAAQ,QAAQ;EACtB,WAAW,WAAW,cAAc,QAAQ,OAAO;CACrD;AACF;AAEA,SAAS,cAAc,QAA6B,SAA6B;CAE/E,MAAM,uBAAO,IAAI,IAAe;CAChC,OAAO,CACL,OAAO,yBAAyB,EAC9B,qBAAqB,YAAY;EAC/B,MAAM,aAAa,sBAAsB;GAAE;GAAS,GAAG;EAAQ,CAAC;EAChE,MAAM,QAAmB;GAAE;GAAS;EAAW;EAC/C,KAAK,IAAI,KAAK;EACd,mBAAmB,QAAQ,eAAe,UAAU;EACpD,OAAO;GACL,SAAS,UAAU,SAAS,WAAW,OAAO,UAAU,IAAI;GAC5D,eAAe;IACb,KAAK,OAAO,KAAK;IACjB,qBAAqB,QAAQ,eAAe,UAAU;IACtD,WAAW,QAAQ;GACrB;EACF;CACF,EACF,CAAC,GACD,OAAO,4BAA4B,EACjC,qBAAqB,aACnB,SAAS,gBAAgB,iCAAiC;EACxD,KAAK,MAAM,EAAE,SAAS,gBAAgB,MAAM;GAC1C,MAAM,YAAY,QAAQ,YAAY,CAAC,CAAC,WAAW;GACnD,IAAI,CAAC,WAAW;GAChB,IAAI,WAAW,aAAa,UAAU,YAAY,EAAE,OAAO,KAAK,CAAC,GAAG,OAAO;EAC7E;EACA,OAAO;CACT,CAAC,EACL,CAAC,CACH;AACF"}

package/dist/hoverRegistry.d.ts

@@ -0,0 +1,7 @@
+import type { HoverController } from './hoverController';
+/** Null before the hover has activated on that view. */
+export declare function hoverControllerFor(scrollElement: HTMLElement): HoverController | null;
+export declare function setHoverController(scrollElement: HTMLElement, controller: HoverController): void;
+/** Ignores a controller that a later activation has already replaced. */
+export declare function clearHoverController(scrollElement: HTMLElement, controller: HoverController): void;
+//# sourceMappingURL=hoverRegistry.d.ts.map

package/dist/hoverRegistry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverRegistry.d.ts","sourceRoot":"","sources":["../src/hoverRegistry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAUxD,wDAAwD;AACxD,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,WAAW,GAAG,eAAe,GAAG,IAAI,CAErF;AAED,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CAEhG;AAED,yEAAyE;AACzE,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,WAAW,EAC1B,UAAU,EAAE,eAAe,GAC1B,IAAI,CAGN"}

package/dist/hoverRegistry.js

@@ -0,0 +1,24 @@
+//#region src/hoverRegistry.ts
+/**
+* The hover controller of each view, kept apart from the plugin that fills it. A plugin that has to
+* hide the hover when its own surface opens reads this; importing the plugin instead would anchor
+* the hover surface, its Markdown renderer and their dependencies into whoever asked, which is the
+* load hoverToken.ts defers.
+*/
+var controllers = /* @__PURE__ */ new WeakMap();
+/** Null before the hover has activated on that view. */
+function hoverControllerFor(scrollElement) {
+	return controllers.get(scrollElement) ?? null;
+}
+function setHoverController(scrollElement, controller) {
+	controllers.set(scrollElement, controller);
+}
+/** Ignores a controller that a later activation has already replaced. */
+function clearHoverController(scrollElement, controller) {
+	if (controllers.get(scrollElement) !== controller) return;
+	controllers.delete(scrollElement);
+}
+//#endregion
+export { clearHoverController, hoverControllerFor, setHoverController };
+
+//# sourceMappingURL=hoverRegistry.js.map

package/dist/hoverRegistry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverRegistry.js","names":[],"sources":["../src/hoverRegistry.ts"],"sourcesContent":["import type { HoverController } from './hoverController'\n\n/**\n * The hover controller of each view, kept apart from the plugin that fills it. A plugin that has to\n * hide the hover when its own surface opens reads this; importing the plugin instead would anchor\n * the hover surface, its Markdown renderer and their dependencies into whoever asked, which is the\n * load hoverToken.ts defers.\n */\nconst controllers = new WeakMap<HTMLElement, HoverController>()\n\n/** Null before the hover has activated on that view. */\nexport function hoverControllerFor(scrollElement: HTMLElement): HoverController | null {\n  return controllers.get(scrollElement) ?? null\n}\n\nexport function setHoverController(scrollElement: HTMLElement, controller: HoverController): void {\n  controllers.set(scrollElement, controller)\n}\n\n/** Ignores a controller that a later activation has already replaced. */\nexport function clearHoverController(\n  scrollElement: HTMLElement,\n  controller: HoverController,\n): void {\n  if (controllers.get(scrollElement) !== controller) return\n  controllers.delete(scrollElement)\n}\n"],"mappings":";;;;;;;AAQA,IAAM,8BAAc,IAAI,QAAsC;;AAG9D,SAAgB,mBAAmB,eAAoD;CACrF,OAAO,YAAY,IAAI,aAAa,KAAK;AAC3C;AAEA,SAAgB,mBAAmB,eAA4B,YAAmC;CAChG,YAAY,IAAI,eAAe,UAAU;AAC3C;;AAGA,SAAgB,qBACd,eACA,YACM;CACN,IAAI,YAAY,IAAI,aAAa,MAAM,YAAY;CACnD,YAAY,OAAO,aAAa;AAClC"}

package/dist/hoverToken.d.ts

@@ -0,0 +1,9 @@
+import type { EditorHoverParticipant } from './hoverParticipant';
+/**
+ * Named rather than imported by everyone who answers it: a language server, a character warning or
+ * a diff pane has no reason to depend on each other, and restating the id is how they reach the
+ * same hover.
+ */
+export declare const EDITOR_HOVER_PARTICIPANT_ID = "editor.hoverParticipant";
+export declare const EDITOR_HOVER_PARTICIPANT: import("@singapore-editor/core").EditorLanguageFeatureToken<EditorHoverParticipant>;
+//# sourceMappingURL=hoverToken.d.ts.map

package/dist/hoverToken.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverToken.d.ts","sourceRoot":"","sources":["../src/hoverToken.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAEhE;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,4BAA4B,CAAA;AAEpE,eAAO,MAAM,wBAAwB,qFAEpC,CAAA"}

package/dist/hoverToken.js

@@ -0,0 +1,17 @@
+import { createEditorLanguageFeatureToken, registerAmbientEditorPlugin } from "@singapore-editor/core/extensions";
+//#region src/hoverToken.ts
+/**
+* Named rather than imported by everyone who answers it: a language server, a character warning or
+* a diff pane has no reason to depend on each other, and restating the id is how they reach the
+* same hover.
+*/
+var EDITOR_HOVER_PARTICIPANT_ID = "editor.hoverParticipant";
+var EDITOR_HOVER_PARTICIPANT = createEditorLanguageFeatureToken(EDITOR_HOVER_PARTICIPANT_ID);
+registerAmbientEditorPlugin({
+	demand: EDITOR_HOVER_PARTICIPANT,
+	load: () => import("./hoverPlugin.js").then((module) => module.createHoverPlugin())
+});
+//#endregion
+export { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID };
+
+//# sourceMappingURL=hoverToken.js.map

package/dist/hoverToken.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoverToken.js","names":[],"sources":["../src/hoverToken.ts"],"sourcesContent":["import {\n  createEditorLanguageFeatureToken,\n  registerAmbientEditorPlugin,\n} from '@singapore-editor/core/extensions'\n\nimport type { EditorHoverParticipant } from './hoverParticipant'\n\n/**\n * Named rather than imported by everyone who answers it: a language server, a character warning or\n * a diff pane has no reason to depend on each other, and restating the id is how they reach the\n * same hover.\n */\nexport const EDITOR_HOVER_PARTICIPANT_ID = 'editor.hoverParticipant'\n\nexport const EDITOR_HOVER_PARTICIPANT = createEditorLanguageFeatureToken<EditorHoverParticipant>(\n  EDITOR_HOVER_PARTICIPANT_ID,\n)\n\n// Importing the token declares that hover content can exist. The hover itself — the surface, the\n// Markdown renderer and their dependencies — loads the first time a participant registers in some\n// editor, and that editor installs it for as long as it has one.\nregisterAmbientEditorPlugin({\n  demand: EDITOR_HOVER_PARTICIPANT,\n  load: () => import('./hoverPlugin').then((module) => module.createHoverPlugin()),\n})\n"],"mappings":";;;;;;;AAYA,IAAa,8BAA8B;AAE3C,IAAa,2BAA2B,iCACtC,2BACF;AAKA,4BAA4B;CAC1B,QAAQ;CACR,YAAY,OAAO,mBAAgB,CAAC,MAAM,WAAW,OAAO,kBAAkB,CAAC;AACjF,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+export { anchoredSurfaceFollowsUpdate, createAnchoredSurface, isInsideEditorPopup, type AnchoredSurface, type AnchoredSurfaceAlignment, type AnchoredSurfaceOptions, type AnchoredSurfacePlacement, } from './anchoredSurface';
+export { createTooltipCodeTokenizer, type TooltipCodeTokenizer } from './codeTokens';
+export { normalizeTooltipMarkdown, renderTooltipMarkdown, type TooltipMarkdownRenderOptions, } from './markdownTooltip';
+export { HOVER_COLORS } from './styles';
+export { COPY_BUTTON_RESET_DELAY_MS, createTooltipController, HOVER_ASYNC_DISPATCH_DELAY_MS, HOVER_LOADING_DELAY_MS, HOVER_REQUEST_DEBOUNCE_MS, TOOLTIP_HIDE_DELAY_MS, type TooltipAction, type TooltipController, type TooltipNote, type TooltipNoteLink, type TooltipOptions, type TooltipPart, type TooltipShowOptions, } from './tooltip';
+export { createHoverController, type HoverController, type HoverControllerOptions, } from './hoverController';
+export { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID, type EditorHoverParticipant, type HoverAnchor, type HoverPart, type HoverRequest, } from './hoverParticipant';
+export { createHoverPlugin, type HoverPluginOptions } from './hoverPlugin';
+export { hoverControllerFor } from './hoverRegistry';
+export { hoverTargetRange, hoverTargetRangeInSource, identifierRangeAtOffset, sameOffsetRange, unionOffsetRange, type OffsetRange, } from './offsetRange';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,wBAAwB,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,0BAA0B,EAAE,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAA;AACpF,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,KAAK,4BAA4B,GAClC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,EACvB,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,kBAAkB,GACxB,MAAM,WAAW,CAAA;AAClB,OAAO,EACL,qBAAqB,EACrB,KAAK,eAAe,EACpB,KAAK,sBAAsB,GAC5B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,YAAY,GAClB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,iBAAiB,EAAE,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,uBAAuB,EACvB,eAAe,EACf,gBAAgB,EAChB,KAAK,WAAW,GACjB,MAAM,eAAe,CAAA"}

package/dist/index.js

@@ -0,0 +1,11 @@
+import { anchoredSurfaceFollowsUpdate, createAnchoredSurface, isInsideEditorPopup } from "./anchoredSurface.js";
+import { createTooltipCodeTokenizer } from "./codeTokens.js";
+import { normalizeTooltipMarkdown, renderTooltipMarkdown } from "./markdownTooltip.js";
+import { HOVER_COLORS } from "./styles.js";
+import { COPY_BUTTON_RESET_DELAY_MS, HOVER_ASYNC_DISPATCH_DELAY_MS, HOVER_LOADING_DELAY_MS, HOVER_REQUEST_DEBOUNCE_MS, TOOLTIP_HIDE_DELAY_MS, createTooltipController } from "./tooltip.js";
+import { EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID } from "./hoverToken.js";
+import { hoverTargetRange, hoverTargetRangeInSource, identifierRangeAtOffset, sameOffsetRange, unionOffsetRange } from "./offsetRange.js";
+import { createHoverController } from "./hoverController.js";
+import { hoverControllerFor } from "./hoverRegistry.js";
+import { createHoverPlugin } from "./hoverPlugin.js";
+export { COPY_BUTTON_RESET_DELAY_MS, EDITOR_HOVER_PARTICIPANT, EDITOR_HOVER_PARTICIPANT_ID, HOVER_ASYNC_DISPATCH_DELAY_MS, HOVER_COLORS, HOVER_LOADING_DELAY_MS, HOVER_REQUEST_DEBOUNCE_MS, TOOLTIP_HIDE_DELAY_MS, anchoredSurfaceFollowsUpdate, createAnchoredSurface, createHoverController, createHoverPlugin, createTooltipCodeTokenizer, createTooltipController, hoverControllerFor, hoverTargetRange, hoverTargetRangeInSource, identifierRangeAtOffset, isInsideEditorPopup, normalizeTooltipMarkdown, renderTooltipMarkdown, sameOffsetRange, unionOffsetRange };

package/dist/markdownTooltip.d.ts

@@ -0,0 +1,12 @@
+import { type EditorTheme } from '@singapore-editor/core/rendering';
+import { type TooltipCodeBlock, type TooltipCodeTokenizer } from './codeTokens';
+export type TooltipMarkdownRenderOptions = {
+    readonly codeBackground?: boolean;
+    readonly classNamespace?: string;
+    readonly codeTokenizer?: TooltipCodeTokenizer | null;
+};
+export declare function normalizeTooltipMarkdown(markdown: string): string;
+/** The fenced blocks a render of this Markdown would ask tokens for. */
+export declare function tooltipCodeBlocks(markdown: string): readonly TooltipCodeBlock[];
+export declare function renderTooltipMarkdown(document: Document, markdown: string, theme?: EditorTheme | null, options?: TooltipMarkdownRenderOptions): HTMLElement;
+//# sourceMappingURL=markdownTooltip.d.ts.map

package/dist/markdownTooltip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdownTooltip.d.ts","sourceRoot":"","sources":["../src/markdownTooltip.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,kCAAkC,CAAA;AAMrF,OAAO,EAAmB,KAAK,gBAAgB,EAAE,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAchG,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACrD,CAAA;AA4BD,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED,wEAAwE;AACxE,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,gBAAgB,EAAE,CAI/E;AAYD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,MAAM,EAChB,KAAK,CAAC,EAAE,WAAW,GAAG,IAAI,EAC1B,OAAO,GAAE,4BAAiC,GACzC,WAAW,CAab"}