Allow to customize the evaluation delimiter's color (i.e., `>` and `|`) - Githubissues

scala-ide / scala-worksheet

A Scala IDE plugin for a multi-line REPL (called worksheet)

96 stars 24 forks source link

Allow to customize the evaluation delimiter's color (i.e., `>` and `|`) #48

Closed dotta closed 12 years ago

dotta commented 12 years ago

Add the needed infrastructure in the tokenizer
add a new settingin the Scala Worksheet preference page

dotta commented 12 years ago

@amirsh will have a look at it.