Also, could a project be saved with your favourite logic circuits to be the default for a new project - yes I know you can import each time but I believe it would be advantageous for students to have a range of standard devices to select from each time as a default - it's one less barrier to learning.
I love the ability to select, copy & paste the truth table into Excel - students can then use logic formula to check their boolean algebra

cheers
Don