-
Benno Schulenberg authored
The slash is easier to read than the underscore (which almost disappears at the bottom of the screen), and easier to type (no Shift needed on a US keyboard), and it kind of harmonizes with the ^\ for Replace and the M-/ for End-of-buffer.
c79fe1a1