minor updates to code editor : linefolding still seems to be broken, even after patches from official git repo