The basic UI commands are as follows, along with their keyboard shortcuts:
Source (s)
Target (t)
Clear (c)
Identity (i)
Theorem (h)
Restrict (r)
We need to have buttons for these, so people can click on them to activate the command. At the moment the only way to trigger these commands is to use the keyboard shortcut. I think the best place for these buttons is at the bottom of the right sidebar. (This is similar to how the buttons are displayed in globular.science, where they are at the top of the right sidebar.)
The basic UI commands are as follows, along with their keyboard shortcuts:
We need to have buttons for these, so people can click on them to activate the command. At the moment the only way to trigger these commands is to use the keyboard shortcut. I think the best place for these buttons is at the bottom of the right sidebar. (This is similar to how the buttons are displayed in globular.science, where they are at the top of the right sidebar.)