keys F[1-10] are difficult to use with gnome-terminal + configuration option missing

[Martin Weis]

Binary package hint: wavemon

Version: maverick (wavemon 0.6.10)

If started in gnome-terminal (should apply to other terminal emulations, too), at least the keys F1 and F10 are not usable, because they open "help" or "menu" of gnome-terminal and therefore do not reach wavemon.
I did not find a configuration option in program or wavemonrc, which would overcome this situation.

I just found in the man page, that the aliases 'i' (info, F1) and 'q' (quit, F10) exist. These could be highlighted, and aliases for the other keys defined, e.g.: F2 ('l' = lhist), F3 ('a'=aplist), F7 ('p'=perferences), F8 ('h'=help), F9 ('a'=about)

Thanks
Martin

[Jonathan McCrohan (jmccrohan)]

This should be fixed in the upcoming 0.7.5 release.

Thanks,
Jon

[Launchpad Janitor (janitor)]

This bug was fixed in the package wavemon - 0.7.5-1

---------------
wavemon (0.7.5-1) unstable; urgency=low

  * New upstream release
    - Adds alternate [F1-F10] keyboard shortcuts (LP: #725036)

 -- Jonathan McCrohan <email address hidden> Sun, 06 May 2012 21:26:25 +0100