Fix event name in manual

Author: marijnh

doc/manual.html

@@ -634,7 +634,7 @@ <h2>Events</h2>
       <dt id="event_scroll"><code><strong>"scroll"</strong> (instance: CodeMirror)</code></dt>
       <dd>Fires when the editor is scrolled.</dd>
 
-      <dt id="event_resize"><code><strong>"resize"</strong> (instance: CodeMirror)</code></dt>
+      <dt id="event_refresh"><code><strong>"refresh"</strong> (instance: CodeMirror)</code></dt>
       <dd>Fires when the editor is <a href="#refresh">refreshed</a>
       or <a href="#setSize">resized</a>. Mostly useful to invalidate
       cached values that depend on the editor or character size.</dd>