Fix a breakage with the new CodeMirror version.

The new version of CodeMirror regressed in the initial display of the
widget when editing a large text field. The widget would appear at its
minimum size. Calling refresh() after showing it fixes this.