Doing the replace

Now Leo has found the next instance of “def” in the body pane.

• <Ctrl-minus> makes the replacement.

• <F3> continues searching without making a replacement.

• <Ctrl-G> ends the search.