Are we sure this will always do enough "refreshing" that we can skip the actual `refresh()`? It's not totally obvious from looking at what these two things do in CodeMirror.