search

jamievicary / globular

Globular
37 stars 9 forks source link

Access to inverses when clicking on a cell #59

Open turion opened 8 years ago

turion commented 8 years ago

A few times I wanted to attach the inverse of an invertible cell, by clicking on that cell. But this doesn't work. The only way to attach an inverse seems to be to click into the current cell and selecting the inverse. It would be great if the former way of attaching an inverse would work as well somehow.

jamievicary commented 8 years ago

Hi, I agree this would be nice. The problem is that if you click on a cell in the signature and get a big list of possibilities, how do I know which are the cell and which are the inverse? Some extra information would be needed and I'm not sure quite how to represent it.

On 14 Jul 2016 6:01 a.m., "turion" notifications@github.com wrote:

A few times I wanted to attach the inverse of an invertible cell, by clicking on that cell. But this doesn't work. The only way to attach an inverse seems to be to click into the current cell and selecting the inverse. It would be great if the former way of attaching an inverse would work as well somehow.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/jamievicary/globular/issues/59, or mute the thread https://github.com/notifications/unsubscribe/AKHHHokKoJAbP18LeR9yxLzRTyvWinCDks5qVfsAgaJpZM4JMOOd .

turion commented 8 years ago

Yes, that's not obvious at all. Especially for endocells, Globular won't be able to work out which way to attach it. Two different ideas for that:

jamievicary commented 8 years ago

Different colours could also be confusing --- how is a new user supposed to know which is which?

I think that when you click, you could just get two lists underneath, not one: a list of places to attach the cell, and a list of places to attach the inverse.

On Thu, Jul 14, 2016 at 12:46 PM, turion notifications@github.com wrote:

Yes, that's not obvious at all. Especially for endocells, Globular won't be able to work out which way to attach it. Two ideas for that:

  • Display places where the inverse cell can be attached in a different colour than yellow (e.g. light green or blue).
  • When clicking on a cell in the left menu, the inverse cell appears directly below and indented (so the cell becomes a tree with one leaf which is the inverse).

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/jamievicary/globular/issues/59#issuecomment-232642911, or mute the thread https://github.com/notifications/unsubscribe/AKHHHs3QZKPZ6H62i9MrFiCnYU-muqnOks5qViGzgaJpZM4JMOOd .

turion commented 8 years ago

Right, for a new user the colours may be confusing. Your second option sounds very good.