Crash when deleting cell which is part of the currently-displayed image

homotopy-io / homotopy-webclient

https://homotopy.io

26 stars 5 forks source link

Crash when deleting cell which is part of the currently-displayed image #22

Closed jamievicary closed 5 years ago

jamievicary commented 5 years ago

Correct behaviour would be to clear the currently-displayed image at the same time as deleting the cell.

zrho commented 5 years ago

There was a bug in LimitComponent.usesCell that prevented the UI code from detecting that the diagram used the deleted generator. Fixed in 399b332a353359eb061bd9ba75d0478bf9c38758.