From 0e80ebfe2cbdabbcc5837ecbb31b1cc1d8ff048d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 26 Feb 2004 16:12:14 +0000
Subject: little changes in the holes short doc

---
 generic/holes.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/holes.el b/generic/holes.el
index f5e606b5..55f32985 100644
--- a/generic/holes.el
+++ b/generic/holes.el
@@ -52,7 +52,8 @@ zero active hole globally.  It is highlighted with a different color.
 TO DEFINE A HOLE, two methods:
 
  o Select a region with keyboard (ctrl-space) or mouse, then hit
-ctrl-meta-h
+ctrl-meta-h. If the selected region is empty (i.e. if you just
+ctrl+meta+h), then a hole containing '#' is created.
 
  o Select text with mouse while pressing ctrl + meta.  If the selected
 region is empty (i.e. if you just click while pressing ctrl+meta),
@@ -84,7 +85,9 @@ a generalization of the mouse-track-insert feature (ctrl + select
 text, if you don't know this trick, try it :-)). This method allows to
 fill different holes faster than with the usual copy-paste method.
 
-After replacement the next hole is automatically made active.
+After replacement the next hole is automatically made active so you
+can fill it immediately by hitting again ctrl-meta-y or ctrl + meta +
+shift + mouse select.
 
 TO MOVE TO THE ACTIVE HOLE, hit meta-return, it will move to the
 active hole, destroy it (allowing you to type its replacement) and
-- 
cgit v1.2.3