Fix #3814 Correct highlighting issues in REPL#3987
Merged
allanrenucci merged 4 commits intoscala:masterfrom May 7, 2018
Merged
Fix #3814 Correct highlighting issues in REPL#3987allanrenucci merged 4 commits intoscala:masterfrom
allanrenucci merged 4 commits intoscala:masterfrom