Function OSRContextMenu

gui/src/components/OSRContextMenu.tsx:13–220

()

}

const OSRContextMenu = () => {
  const ideMessenger = useContext(IdeMessengerContext);
  const isOSREnabled = useIsOSREnabled();
  const platform = useRef(getPlatform());

  const [position, setPosition] = useState<Position | null>(null);
  const [canCopy, setCanCopy] = useState(false);
  const [canCut, setCanCut] = useState(false);
  const [canPaste, setCanPaste] = useState(false);

  const menuRef = React.useRef<HTMLDivElement>(null);
  const selectedTextRef = useRef<string | null>(null);
  const selectedRangeRef = useRef<Range | null>(null);

  function onMenuItemClick(
    event: React.MouseEvent<HTMLDivElement, MouseEvent>,
  ) {
    event.preventDefault();

    // restore selection
    if (selectedRangeRef.current) {
      const selection = window.getSelection();
      selection?.removeAllRanges();
      selection?.addRange(selectedRangeRef.current);
    }

    // Hide menu
    setPosition(null);
  }

  useEffect(() => {
    function leaveWindowHandler() {
      setPosition(null);
    }
    function contextMenuHandler(event: MouseEvent) {
      event.preventDefault();
    }
    function clickHandler(event: MouseEvent) {
      // If clicked outside of menu, close menu
      if (!menuRef.current?.contains(event.target as Node)) {
        setPosition(null);
      }

      if (event.button === 2) {
        // Prevent default context menu
        event.preventDefault();

        selectedRangeRef.current = null;
        selectedTextRef.current = null;

        const selection = window.getSelection();
        let isClickWithinSelection = false;
        if (selection && selection.rangeCount > 0) {
          const range = selection.getRangeAt(0);
          const selectedText = range.toString();
          selectedRangeRef.current = range.cloneRange();

          if (selectedText.length > 0) {