search

scala-ide / scala-worksheet

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

.worksheet directory should be set to derived #227

Open mo-seph opened 9 years ago

mo-seph commented 9 years ago

Because otherwise it can make Search->File pop up error boxes about files out of sync.