[codemirror] trying to avoid some flicker issues