Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[red-knot] Fix double hovers/inlays in playground (#17334)

This commit is contained in:
Micha Reiser 2025-04-10 14:40:41 +02:00 committed by GitHub
parent 4d50ee6f52
commit 5b1d8350ff
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
playground/knot/src/Editor/Editor.tsx
View File

@ -94,6 +94,8 @@ export default function Editor({
const handleMount: OnMount = useCallback( const handleMount: OnMount = useCallback(
(editor, instance) => { (editor, instance) => {
serverRef.current?.dispose();
const server = new PlaygroundServer(instance, { const server = new PlaygroundServer(instance, {
workspace, workspace,
files, files,