diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2005-02-15 18:54:46 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2005-02-15 18:54:46 +0000 |
| commit | d356fd6163b41597dbe4728b5bc8425c91774df4 (patch) | |
| tree | 9a9d04f7dd1b470a4b4647018a5e4168309f00b1 /lib | |
| parent | 3ebd8547bc8c938bd50fd4876c1f72d46dccb83c (diff) | |
Modified holes doc string to fit to new shortcut of holes-mode.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/holes.el | 5 |
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 |