Well, the primary call here is to `resizeEditor()`, with the refresh happening as a side effect. I'll think about a better comment.