Closed spencersalazar closed 10 years ago
Secondly, when I paste from the terminal (like a folder path), the editor uses whatever colors my terminal background is set in. I use black, so when I paste, the background of the pasted line becomes black.
See https://lists.cs.princeton.edu/pipermail/chuck-users/2013-November/007426.html
Fixed/changed in f10380bf0ceb1a7a65090d50e2ada6a676c0ba0f
See https://lists.cs.princeton.edu/pipermail/chuck-users/2013-November/007426.html