From d356fd6163b41597dbe4728b5bc8425c91774df4 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Tue, 15 Feb 2005 18:54:46 +0000 Subject: Modified holes doc string to fit to new shortcut of holes-mode. --- lib/holes.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lib') 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 -- cgit v1.2.3