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 protected]> Sun, 06 May 2012 21:26:25
+0100
** Changed in: wavemon (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/725036
Title:
keys F[1-10] are difficult to use with gnome-terminal + configuration
option missing
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/wavemon/+bug/725036/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
