search

homotopy-io / homotopy-webclient

https://homotopy.io
27 stars 5 forks source link

Easy deletion would be nice #104

Open NoLongerBreathedIn opened 5 years ago

NoLongerBreathedIn commented 5 years ago

In Globular, it's possible to remove a cell from the diagram by dragging. If it is invertible, this can be done in any dimension (the effect is as if an inverse copy is attached, and they are temporarily cancelled). If non-invertible, the cell must be top-dimensional.

jamievicary commented 5 years ago

This is a nice idea. We should implement removal of top-dimensional cells using this mechanism. Homotopy.io doesn't currently have invertibility, so we can't implement removal of non-top-dimensional cells using the same trick.

jamievicary commented 5 years ago

Once this is implemented the "behead" button could then be removed.

NoLongerBreathedIn commented 5 years ago

Actually, one could replace the 'cannot drag off diagram' by a test of whether one is attempting to remove a top-dimensional cell, and if so, then replace with 'behead'/'co-behead'.

NoLongerBreathedIn commented 5 years ago

But first, check if it's possible to expand.