search

theia-ide / sprotty

A next-gen web-based graphics framework
Apache License 2.0
138 stars 23 forks source link

#106: Play button gets reseted on execution end #108

Closed jbicker closed 7 years ago