tree bdba17bb596aa33ce3386c0d27da716df49add28
parent 20fcd1747993127c648b9a3ad393a6caa3a025ba
author Tom Tromey <tromey@adacore.com> 1685543197 -0600
committer Tom Tromey <tromey@adacore.com> 1685556009 -0600

Improve MI -dprintf-insert documentation

I found the documentation for -dprintf-insert a bit unclear.  It
didn't mention the possibility of multiple arguments, and I also
noticed that it implied that the format parameter is optional, which
it is not.

While looking into this I also noticed a few comments in the
implementation that could also be improved.

Then, I noticed a repeated call to strlen in a loop condition, so I
fixed this up as well.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>