The title says it all. The IDE should be able to automatically replace the arrows with their Unicode counterpart.
Leave a comment
on 2014-08-18 17:59 *
By Simon Schäfer
Implemented in offline branch
Fixed in Auto Edit PR (https://github.com/scala-ide/scala-ide/pull/886)
No file chosen
You have an empty file field. Please select or remove it.
Name | Size |
---|