jamievicary
commented
8 years ago Hi, I agree this is a potential point of confusion. The problem with colours is that they're not self-explanatory --- a new user will just think "what on earth are all these different colours?", rather than become enlightened.
When you click on the diagram, either all the options in the list are attachments, or they are all rewrites. If you click on a boundary of the diagram, you are offered attachments; if you click in the interior of a diagram, you are offered rewrites. There is never a mixture of rewrites and attachments in the list.
When you hover your cursor over the diagram, you can see if (Globular thinks) you're hovering over a boundary, because "t", "s", "tt" etc will be present after the "@". For example, "beta @ t [2]" means "this cell is of type beta, it's in the target of the diagram at coordinate [2]". Clicking this cell will always trigger an attachment, never a rewrite.
Jamie
On Thu, Jul 14, 2016 at 9:49 AM, turion notifications@github.com wrote:
A few times I had the following problem: Pick a k-cell, forget to press the "Identity" button, try to attach a k+1-cell, and wonder why a few minutes later things don't work as expected. The reason: Instead of attaching a k+1-cell, the current k-cell was rewritten by the k+1-cell! This may in principle be a useful action to perform, but it's very annoying if it happens without me knowing about it.
I have a simple idea: Give rewriting a different colour than attaching. When attaching a k+1-cell, I'm clicking on the k+1-cell and looking for the right spot to attach, and it's marked with a yellow square. When I'm rewriting, the spot I want to rewrite should be marked in e.g. red instead, so I'll immediately see that I'm performing a different action here.
The same goes for the context menu when clicking somewhere in the current cell. The rewriting options should be separated from the attaching options.
— 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/56, or mute the thread https://github.com/notifications/unsubscribe/AKHHHgZhl9QW9NpbVaWXeNNTNarUhXPaks5qVfgGgaJpZM4JMNjm .
turion
A few times I had the following problem: Pick a k-cell, forget to press the "Identity" button, try to attach a k+1-cell, and wonder why a few minutes later things don't work as expected. The reason: Instead of attaching a k+1-cell, the current k-cell was rewritten by the k+1-cell! This may in principle be a useful action to perform, but it's very annoying if it happens without me knowing about it.
I have a simple idea: Give rewriting a different colour than attaching. When attaching a k+1-cell, I'm clicking on the k+1-cell and looking for the right spot to attach, and it's marked with a yellow square. When I'm rewriting, the spot I want to rewrite should be marked in e.g. red instead, so I'll immediately see that I'm performing a different action here.
The same goes for the context menu when clicking somewhere in the current cell. The rewriting options should be separated from the attaching options.