Dragging many selected vertices is slow for large graphs
May 8, 2026 · #516
Python
Difficulty: Medium
Labels
Type: bug Category: Edit Mode Category: Proof mode Priority: High
Parent Repository
zxcalc/zxlive
Python repository
93 40