overleaf/services/web/frontend/js/features/source-editor/extensions/text-selected.ts

import { StateEffect } from '@codemirror/state'
import { EditorView, ViewPlugin } from '@codemirror/view'

export const textSelectedEffect = StateEffect.define<EditorView>()

export const textSelected = ViewPlugin.define(view => {
  function mouseUpListener() {
    if (!view.state.selection.main.empty) {
      view.dispatch({
        effects: textSelectedEffect.of(view),
      })
    }
  }
  function keyUpListener(event: KeyboardEvent) {
    if (
      (event.shiftKey || event.key === 'Meta') &&
      !view.state.selection.main.empty
    ) {
      view.dispatch({
        effects: textSelectedEffect.of(view),
      })
    }
  }

  view.dom.addEventListener('mouseup', mouseUpListener)
  view.dom.addEventListener('keyup', keyUpListener)

  return {
    destroy() {
      view.dom.removeEventListener('mouseup', mouseUpListener)
      view.dom.removeEventListener('keyup', keyUpListener)
    },
  }
})