change code mirror options