search

homotopy-io / homotopy-webclient

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

Restrict works differently from Globular #103

Closed NoLongerBreathedIn closed 5 years ago

NoLongerBreathedIn commented 5 years ago

In Globular, when you hit 'restrict' and there is no diagram displayed, the effect is to open the previous diagram displayed and restrict to the view previously shown. In this program, nothing happens.

jamievicary commented 5 years ago

Thanks for this report. In fact, this is a bug in Globular: clicking 'restrict' for an empty diagram should have no effect. So the current homotopy.io behaviour is correct.

In homotopy.io, if you want to obtain the previously-displayed diagram, you can click the back button in the browser.

NoLongerBreathedIn commented 5 years ago

The thing is, that also undoes 'source'. The behavior is according to design, but the Globular behavior is useful; it allows more rapid building of complex morphisms.

jamievicary commented 5 years ago

How about allowing you to click on the saved "Source" diagram to load a copy of it back into the main window.

NoLongerBreathedIn commented 5 years ago

Oh, that'd be good.