aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <courtieu@lri.fr>2005-02-15 18:54:46 +0000
committerGravatar Pierre Courtieu <courtieu@lri.fr>2005-02-15 18:54:46 +0000
commitd356fd6163b41597dbe4728b5bc8425c91774df4 (patch)
tree9a9d04f7dd1b470a4b4647018a5e4168309f00b1 /lib
parent3ebd8547bc8c938bd50fd4876c1f72d46dccb83c (diff)
Modified holes doc string to fit to new shortcut of holes-mode.
Diffstat (limited to 'lib')
-rw-r--r--lib/holes.el5
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/holes.el b/lib/holes.el
index a48e9935..55f7432f 100644
--- a/lib/holes.el
+++ b/lib/holes.el
@@ -16,6 +16,7 @@
; See the GNU General Public License version 2 for more details
; (enclosed in the file GPL).
;
+; See documentation in variable holes-short-doc.
(require 'span)
@@ -49,7 +50,7 @@ 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. If the selected region is empty (i.e. if you just hit
+ctrl-c h. If the selected region is empty (i.e. if you just hit
ctrl+meta+h), then a hole containing '#' is created.
o Select text with mouse while pressing ctrl + meta. If the selected
@@ -69,7 +70,7 @@ of your mouse.
TO FILL A HOLE with a text selection, first make sure it is active,
then two methods:
- o Select text with keyboard (ctrl-space) or mouse and hit ctrl-meta-y
+ o Select text with keyboard (ctrl-space) or mouse and hit ctrl-c meta-y
o Select text with mouse while pressing ctrl + meta + shift. This is
a generalization of the mouse-track-insert feature (ctrl + select