fix vertex selection (#869)

This commit is contained in:
Kurt Hutten
2023-10-16 15:29:02 +11:00
committed by GitHub
parent b257b202c3
commit 8fad9ef3c2
5 changed files with 38 additions and 14 deletions

View File

@ -21,6 +21,7 @@ interface ResultCommand extends CommandInfo {
type: 'result'
data: any
raw: WebSocketResponse
headVertexId?: string
}
interface FailedCommand extends CommandInfo {
type: 'failed'