dilim icon indicating copy to clipboard operation
dilim copied to clipboard

Published 20 hours ago • verified publisher icon joom

Some issues

Open Zireael07 opened this issue 1 year ago • 1 comments

  1. Holes of different types could have different colors

  2. Holes should really have tooltips saying what type they are

  3. I managed to create a definition statement, and fill in the name hole with Add Fresh (which btw is great!!!) but can't figure out what can be done with the other hole... which should be aterm or statement but neither of those is accepted

Zireael07 avatar Jul 25 '23 18:07 Zireael07