Make codemirror tooltips selectable. (#3149)

Co-authored-by: Paul Tagliamonte <paul@zoo.dev>
Co-authored-by: Jess Frazelle <jessfraz@users.noreply.github.com>
This commit is contained in:
Jack de la Motte
2024-07-28 21:34:58 -07:00
committed by GitHub
parent 46f940ead5
commit b0b48a2e9f

View File

@ -1,5 +1,10 @@
import { Extension } from '@codemirror/state'
import { hoverTooltip, tooltips, ViewPlugin } from '@codemirror/view'
import {
hoverTooltip,
tooltips,
ViewPlugin,
EditorView,
} from '@codemirror/view'
import { LanguageServerPlugin } from './lsp'
import { offsetToPos } from './util'
@ -17,6 +22,13 @@ export default function lspHoverExt(
}),
tooltips({
position: 'absolute',
parent: document.body,
}),
EditorView.baseTheme({
'.cm-tooltip': {
fontSize: '12px',
maxWidth: '400px',
},
}),
]
}