diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2007-10-17 08:48:07 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2007-10-17 08:48:07 +0000 |
| commit | e080d1308132cda5934ed273d9481e7b187799fe (patch) | |
| tree | 5692d1be7164f51f61aabc658057b6b9ca2ac5e8 /man | |
| parent | be8fdb628bd992f3ceefcbfcbe38e403f47739cb (diff) | |
| download | emacs-e080d1308132cda5934ed273d9481e7b187799fe.tar.gz | |
(Source Buffers): Use "key binding" consistently.
Diffstat (limited to 'man')
| -rw-r--r-- | man/building.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/building.texi b/man/building.texi index 3fedbfed674..28ea5ec3dc3 100644 --- a/man/building.texi +++ b/man/building.texi @@ -907,7 +907,7 @@ places. @c @findex gdb-mouse-set-clear-breakpoint @c @findex gdb-mouse-toggle-breakpoint -Many GDB commands can be entered using keybindings or the tool bar but +Many GDB commands can be entered using key bindings or the tool bar but sometimes it is quicker to use the fringe. These commands either manipulate breakpoints or control program execution. When there is no fringe, you can use the margin but this is only present when the |