PHP 8.2.30
Preview: menubar.ts Size: 7.77 KB
/proc/thread-self/root/home/byroehnu/.trash/node_modules11/prosemirror-menu/src/menubar.ts

import crel from "crelt"
import {Plugin, EditorState} from "prosemirror-state"
import {EditorView} from "prosemirror-view"

import {renderGrouped, MenuElement, keyboardMoveFocus, findFocusableIndex} from "./menu"

const prefix = "ProseMirror-menubar"

function isIOS() {
  if (typeof navigator == "undefined") return false
  let agent = navigator.userAgent
  return !/Edge\/\d/.test(agent) && /AppleWebKit/.test(agent) && /Mobile\/\w+/.test(agent)
}

/// A plugin that will place a menu bar above the editor. Note that
/// this involves wrapping the editor in an additional `<div>`.
export function menuBar(options: {
  /// Provides the content of the menu, as a nested array to be
  /// passed to `renderGrouped`.
  content: readonly (readonly MenuElement[])[]

  /// Determines whether the menu is placed before or after the editor in the DOM.
  /// The default is "before".
  position?: "before" | "after"

  /// Determines whether the menu floats, i.e. whether it sticks to
  /// the top of the viewport when the editor is partially scrolled
  /// out of view.
  floating?: boolean
}): Plugin {
  return new Plugin({
    view(editorView) { return new MenuBarView(editorView, options) }
  })
}

class MenuBarView {
  wrapper: HTMLElement
  menu: HTMLElement
  focusables: HTMLElement[] = []
  focusIndex = 0
  spacer: HTMLElement | null = null
  maxHeight = 0
  widthForMaxHeight = 0
  floating = false
  contentUpdate: (state: EditorState) => boolean
  scrollHandler: ((event: Event) => void) | null = null
  root: Document | ShadowRoot

  constructor(
    readonly editorView: EditorView,
    readonly options: Parameters<typeof menuBar>[0]
  ) {
    this.root = editorView.root
    this.wrapper = crel("div", {class: prefix + "-wrapper"})
    this.menu = this.wrapper.appendChild(crel("div", {class: prefix, role: "toolbar"}))
    this.menu.className = prefix
    this.menu.ariaControlsElements = [editorView.dom]

    if (editorView.dom.parentNode)
      editorView.dom.parentNode.replaceChild(this.wrapper, editorView.dom)
    if (options.position === "after") {
      this.wrapper.insertBefore(editorView.dom, this.wrapper.firstChild)
    } else {
      this.wrapper.appendChild(editorView.dom)
    }

    let {dom, update, focusables} = renderGrouped(this.editorView, this.options.content)
    this.contentUpdate = update
    this.focusables = focusables
    this.menu.appendChild(dom)

    if (options.floating && !isIOS()) {
      this.updateFloat()
      let potentialScrollers = getAllWrapping(this.wrapper)
      this.scrollHandler = (e: Event) => {
        let root = this.editorView.root
        if (!((root as Document).body || root).contains(this.wrapper))
          potentialScrollers.forEach(el => el.removeEventListener("scroll", this.scrollHandler!))
        else
          this.updateFloat((e.target as HTMLElement).getBoundingClientRect ? e.target as HTMLElement : undefined)
      }
      potentialScrollers.forEach(el => el.addEventListener('scroll', this.scrollHandler!))
    }

    // update focusIndex on focus change
    for (let i = 0; i < focusables.length; i++) {
      let focusable = focusables[i]
      // set `tabindex` to -1 for all but the first focusable item
      if (i) focusable.setAttribute("tabindex", "-1")
      focusable.addEventListener("focus", () => {
        if (this.focusIndex === i) return
        let prevFocusItem = this.focusables[this.focusIndex]
        prevFocusItem.setAttribute("tabindex", "-1")
        focusable.setAttribute("tabindex", "0")
        this.focusIndex = i
      })
    }

    this.menu.addEventListener("keydown", (event) => {
      keyboardMoveFocus(this, event, "horizontal")
    })

    this.update()
  }

  setFocusIndex(index: number) {
    if (this.focusables.length <= 1) return
    this.focusables[this.focusIndex].setAttribute("tabindex", "-1")
    this.focusIndex = index
    let nextFocusItem = this.focusables[index]
    nextFocusItem.setAttribute("tabindex", "0")
    nextFocusItem.focus()
  }

  update() {
    if (this.editorView.root != this.root) {
      let {dom, update} = renderGrouped(this.editorView, this.options.content)
      this.contentUpdate = update
      this.menu.replaceChild(dom, this.menu.firstChild!)
      this.root = this.editorView.root
    }
    let active = this.editorView.dom.ownerDocument.activeElement == this.focusables[this.focusIndex]
    this.contentUpdate(this.editorView.state)
    if (active && this.focusables[this.focusIndex].style.display == "none") {
      let next = findFocusableIndex(this.focusables, this.focusIndex, 1)
      if (next != null) this.setFocusIndex(next)
    }

    if (this.floating) {
      this.updateScrollCursor()
    } else {
      if (this.menu.offsetWidth != this.widthForMaxHeight) {
        this.widthForMaxHeight = this.menu.offsetWidth
        this.maxHeight = 0
      }
      if (this.menu.offsetHeight > this.maxHeight) {
        this.maxHeight = this.menu.offsetHeight
        this.menu.style.minHeight = this.maxHeight + "px"
      }
    }
  }

  updateScrollCursor() {
    let selection = (this.editorView.root as Document).getSelection()!
    if (!selection.focusNode) return
    let rects = selection.getRangeAt(0).getClientRects()
    let selRect = rects[selectionIsInverted(selection) ? 0 : rects.length - 1]
    if (!selRect) return
    let menuRect = this.menu.getBoundingClientRect()
    if (selRect.top < menuRect.bottom && selRect.bottom > menuRect.top) {
      let scrollable = findWrappingScrollable(this.wrapper)
      if (scrollable) scrollable.scrollTop -= (menuRect.bottom - selRect.top)
    }
  }

  updateFloat(scrollAncestor?: HTMLElement) {
    let parent = this.wrapper, editorRect = parent.getBoundingClientRect(),
        top = scrollAncestor ? Math.max(0, scrollAncestor.getBoundingClientRect().top) : 0

    if (this.floating) {
      if (editorRect.top >= top || editorRect.bottom < this.menu.offsetHeight + 10) {
        this.floating = false
        this.menu.style.position = this.menu.style.left = this.menu.style.top = this.menu.style.width = ""
        this.menu.style.display = ""
        this.spacer!.parentNode!.removeChild(this.spacer!)
        this.spacer = null
      } else {
        let border = (parent.offsetWidth - parent.clientWidth) / 2
        this.menu.style.left = (editorRect.left + border) + "px"
        this.menu.style.display = editorRect.top > (this.editorView.dom.ownerDocument.defaultView || window).innerHeight
          ? "none" : ""
        if (scrollAncestor) this.menu.style.top = top + "px"
      }
    } else {
      if (editorRect.top < top && editorRect.bottom >= this.menu.offsetHeight + 10) {
        this.floating = true
        let menuRect = this.menu.getBoundingClientRect()
        this.menu.style.left = menuRect.left + "px"
        this.menu.style.width = menuRect.width + "px"
        if (scrollAncestor) this.menu.style.top = top + "px"
        this.menu.style.position = "fixed"
        this.spacer = crel("div", {class: prefix + "-spacer", style: `height: ${menuRect.height}px`})
        parent.insertBefore(this.spacer, this.menu)
      }
    }
  }

  destroy() {
    if (this.wrapper.parentNode)
      this.wrapper.parentNode.replaceChild(this.editorView.dom, this.wrapper)
  }
}

// Not precise, but close enough
function selectionIsInverted(selection: Selection) {
  if (selection.anchorNode == selection.focusNode) return selection.anchorOffset > selection.focusOffset
  return selection.anchorNode!.compareDocumentPosition(selection.focusNode!) == Node.DOCUMENT_POSITION_FOLLOWING
}

function findWrappingScrollable(node: Node) {
  for (let cur = node.parentNode; cur; cur = cur.parentNode)
    if ((cur as HTMLElement).scrollHeight > (cur as HTMLElement).clientHeight) return cur as HTMLElement
}

function getAllWrapping(node: Node) {
  let res: (Node | Window)[] = [node.ownerDocument!.defaultView || window]
  for (let cur = node.parentNode; cur; cur = cur.parentNode)
    res.push(cur)
  return res
}

Directory Contents

Dirs: 0 × Files: 5

Name Size Perms Modified Actions
2.23 KB lrw-r--r-- 2026-02-28 00:28:10
Edit Download
257 B lrw-r--r-- 2026-02-28 00:28:20
Edit Download
24.09 KB lrw-r--r-- 2026-02-28 00:28:24
Edit Download
7.77 KB lrw-r--r-- 2026-02-28 00:28:26
Edit Download
1.97 KB lrw-r--r-- 2026-02-28 00:28:06
Edit Download

If ZipArchive is unavailable, a .tar will be created (no compression).