modification to avoid compile warnings (end)

+ some menu modifications

1 files changed, 1 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ce233856..c79f719c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -220,6 +220,7 @@
      ["replace active hole by selection C-M-y"  (replace-update-active-hole) t]
      "replace active hole with mouse  C-M-Shift select"
      ["jump to active hole M-return"  (set-point-next-hole-destroy) t]
+     ["forget all holes in this buffer"  (clear-all-buffer-holes) t]
      ["What are those holes?" (holes-short-doc) t]
      )
     ["expand abbrev at point" expand-abbrev t]