From 58a487174b23740e76f42f883530ed50abd4f019 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Wed, 21 Jun 2017 09:06:40 +0200
Subject: [PATCH] Mention undo from context menu not working in manual
Issue #4809
---
doc/manual.html | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/doc/manual.html b/doc/manual.html
index ed3769247..809c2b6fe 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -930,7 +930,10 @@ editor.setOption("extraKeys", {
<dd>Delete the part of the line from the cursor to the right side of the visual line the cursor is on.</dd>
<dt class=command id=command_undo><code><strong>undo</strong></code><span class=keybinding>Ctrl-Z (PC), Cmd-Z (Mac)</span></dt>
- <dd>Undo the last change.</dd>
+ <dd>Undo the last change. Note that, because browsers still
+ don't make it possible for scripts to react to or customize the
+ context menu, selecting undo (or redo) from the context menu in
+ a CodeMirror instance does not work.</dd>
<dt class=command id=command_redo><code><strong>redo</strong></code><span class=keybinding>Ctrl-Y (PC), Shift-Cmd-Z (Mac), Cmd-Y (Mac)</span></dt>
<dd>Redo the last undone change.</dd>
--
GitLab