search

scala-ide / scala-worksheet

A Scala IDE plugin for a multi-line REPL (called worksheet)
96 stars 24 forks source link

Evaluation should be stopped on editor `dispose` #58

Closed dotta closed 12 years ago

dotta commented 12 years ago

This is somewhat related to #57