update to code mirror 4