[PATCH] Allow use of Pygments to colorize source code

[Tom Tromey]

>>>>> "Philippe" == Philippe Blain <levraiphilippeblain@gmail.com> writes:

Philippe> It took me a quite a while to understand why my GDB was able to highlight
Philippe> my source code even if I knew I had not compiled it with source-highlight.

Philippe> Any reason why this change was not mentioned in the NEWS file at the time,
Philippe> or in the doc ?

It was just an oversight.

Philippe> It's quite a nice improvement. It would be great if the requirement to install
Philippe> Pygments was mentioned somewhere in the documentation :)

I'll send a patch to update the docs momentarily.

I didn't update NEWS, because the patch went in during gdb 10, and
that's not only shipped, but also closed.  I suppose I could still add
it in the gdb 10 section, just on the 11 branch, but that seems a little
weird... ?

Tom