search

theia-ide / sprotty

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

#99 - improvement of execution buttons #105

Closed jbicker closed 7 years ago