Change edge and vertex ID types in viewport-host.ts

This commit is contained in:
2026-04-15 07:59:30 +02:00
parent ddeb859b93
commit e96e5d3810

View File

@@ -5761,7 +5761,7 @@ export class ViewportHost {
return {
kind: "brushEdge",
brushId,
edgeId: brushEdgeId as BoxEdgeId
edgeId: brushEdgeId as WhiteboxEdgeId
};
}
@@ -5770,7 +5770,7 @@ export class ViewportHost {
return {
kind: "brushVertex",
brushId,
vertexId: brushVertexId as BoxVertexId
vertexId: brushVertexId as WhiteboxVertexId
};
}