fix codemirror visibility (for real this time)