| 12345678910111213141516171819 |
- import { createPortal } from 'react-dom'
- import CodeMirrorSearchForm from './codemirror-search-form'
- import { useCodeMirrorViewContext } from './codemirror-editor'
- import { getPanel } from '@codemirror/view'
- import { createSearchPanel } from '@codemirror/search'
- function CodeMirrorSearch() {
- const view = useCodeMirrorViewContext()
- const panel = getPanel(view, createSearchPanel)
- if (!panel) {
- return null
- }
- return createPortal(<CodeMirrorSearchForm />, panel.dom)
- }
- export default CodeMirrorSearch
|