Another codemirror presentation fix