homotopy-io / homotopy-webclient

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

An action button 'Go to Slice' #78

Open davidreutter opened 5 years ago

davidreutter commented 5 years ago

I would suggest an action button "Go to slice" (or any other name) with the following behaviour: After clicking the button and clicking on a height in the diagram, the display jumps to this slice one projection lower.

One quite often needs to jump between projections and this can get a bit tedious if one always has to count slices to work out into which slice you want to jump --- a button which allows you to jump directly in the relevant slice would be great. Would this only work for regular slices or also for singular slices?

(This doesn't need to be a button, just some functionality which allows you to click on a slice to jump 'into' that slice. Alternatively, shift+click might have the same effect.)

jamievicary commented 5 years ago

Great idea. I would prefer shift-click since the other action buttons change the diagram or signature in some way.

On Sun, 10 Feb 2019, 11:49 davidreutter <notifications@github.com wrote:

I would suggest an action button "Go to slice" (or any other name) with the following behaviour: After clicking the button and clicking on a height in the diagram, the display jumps to this slice one projection lower.

One quite often needs to jump between projections and this can get a bit tedious if one always has to count slices to work out into which slices you want to jump --- a button which allows you to jump directly in the relevant slice would be great. Would this only work for regular slices or also for singular slices?

(This doesn't need to be a button, just some functionality which allows you to click on a slice to jump 'into' that slice. Alternatively, shift+click might have the same effect.)

— 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/78, or mute the thread https://github.com/notifications/unsubscribe-auth/AKHHHjx6YxmOsba9G0jSjkjHV8wHZuQeks5vMAdfgaJpZM4azBKd .