Thanks for the report.
For compatibility with the old gromit package, and to be honest also
because I personally use F9 for something else, I set the hotkey to
default to "Pause" for the Debian package with a tiny tweak in
debian/rules. You are quite right: the man page should be patched
appropriately.
--Barak.
--
Barak A. Pearlmutter
Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
http://www.bcl.hamilton.ie/~barak/
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
