Update Python frame filter documentation
authorTom Tromey <tom@tromey.com>
Sat, 8 Sep 2018 16:16:46 +0000 (10:16 -0600)
committerTom Tromey <tom@tromey.com>
Mon, 10 Sep 2018 13:44:25 +0000 (07:44 -0600)
commit521b499b963562793e5dbbcc1df8357cdf2757a7
tree3500f2e25e682d58fdb84b0dd1b2e563cda0b24f
parent4a5a194ae8a871a781d4cdc73c7ba3ae7deafbaa
Update Python frame filter documentation

This fixes a few frame filter documentation omissions noted in
PR python/17752.

gdb/doc/ChangeLog
2018-09-10  Tom Tromey  <tom@tromey.com>

PR python/17752:
* python.texi (Frame Filter API): Remove period from subsection
title.  Mention 100 as good default priority.
(Frame Decorator API): Remove period from subsection title.
Mention FrameDecorator module.
gdb/doc/ChangeLog
gdb/doc/python.texi