Fix linter error (#10377)

Fixes linter error on develop.
This commit is contained in:
Dmitry Bushev 2024-06-26 23:58:16 +03:00 committed by GitHub
parent d92078471b
commit 2dbd8a2e71
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2,7 +2,7 @@ import { createContextStore } from '@/providers'
import type { PortId } from '@/providers/portInfo.ts'
import type { AstId, TokenId } from '@/util/ast/abstract.ts'
import { identity } from '@vueuse/core'
import type { Ref, RendererElement } from 'vue'
import type { RendererElement } from 'vue'
interface SelectionArrowInfo {
/** Id of the subexpression that should display arrow underneath. */