# HG changeset patch # User Juanma Barranquero # Date 1192610887 0 # Node ID 25fa3be251af1a05db42089244f247a94729f2f0 # Parent 5b89006b995b79349518ed4ad0e97551c4f75f17 (Source Buffers): Use "key binding" consistently. diff -r 5b89006b995b -r 25fa3be251af man/building.texi --- a/man/building.texi Wed Oct 17 07:53:36 2007 +0000 +++ b/man/building.texi Wed Oct 17 08:48:07 2007 +0000 @@ -907,7 +907,7 @@ @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