Re: What is normal these days (display.texi)?

[Richard Stallman]

      one screen line.  The additional screen lines used to display a long
    ! text line are called @dfn{continuation} lines.
    ! 
    !   On a text terminal, a @samp{$} in

Your change makes it correct, but kim's change is better, because
graphical terminals are the usual case nowadays.  It's better to put
the usual case first.