Doing the replace
Here, Leo has found the next instance of “def” in the body pane.
- To make the replacement, hit <Ctrl-minus>.
- To continue searching without making a replacement, hit <F3>.
- To end the search, hit <Ctrl-G>.
This concludes the discussion of the minibuffer.