From 39ffcd8701c35363ab754b82c3c171913ecf478e Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Tue, 27 Sep 2016 09:41:45 +0200
Subject: [PATCH] Fix event name in manual
---
doc/manual.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manual.html b/doc/manual.html
index b1377928d..65e030c0b 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -634,7 +634,7 @@
<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>
--
GitLab