Currently the editor doubles my " marks. Sometimes it's cumbersome and I need to switch it off. E.g. having pasted this:
options = -a -b -c
and correcting to:
let options = "-a -b -c";;
let options = ""-a -b -c"";;
It is sometimes very disturbing.
Also I'd like to disable automatic code formatting (it's only my personal idiosyncrasy).
(BTW: I'd also love to enable so called virtual space, i.e. to be able to place cursor beyond EOL - but I have no idea how to do it in Eclipse.)