优化：流媒体同步任务

liusuyi

2024-07-10 016aa105789fca71e86cdbb0d26a181812f200f9

1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;