If you are not redirected automatically, follow this Seaside-CodeMirror.