Checkpoints box should only be visible if there are checkpoints. - Githubissues

jamesjuett / lobster

Interactive Program Visualization Tools

8 stars 3 forks source link

Checkpoints box should only be visible if there are checkpoints. #271

Closed jamesjuett closed 3 years ago