search

homotopy-io / homotopy-webclient

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

Add a co-behead button #96

Closed howsiyu closed 5 years ago

howsiyu commented 5 years ago

Just as the behead button truncates from the target, there should be a co-behead button that truncates from the source.

jamievicary commented 5 years ago

It should be called befoot!

On Sun, 31 Mar 2019, 20:19 howsiyu, notifications@github.com wrote:

Just as the behead button truncate from the target, there should be a co-behead button that truncates from the source.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/homotopy-io/webclient/issues/96, or mute the thread https://github.com/notifications/unsubscribe-auth/AKHHHtDdUfehfFsqijrwP07_UqcsNeJPks5vcQpYgaJpZM4cUfSl .

jamievicary commented 5 years ago

I think it would be better to implement this in the manner of issue #104, letting you remove cells at the top and bottom of a diagram by dragging them off the top and off the bottom respectively. This would let us remove the "behead" button from the UI.