On Tue, Dec 09, 2014 at 08:18:29PM +0000, Debian Bug Tracking System wrote:
> > retitle 746706 gnome-terminal: Starts 'help' when pressings F1 even when > Bug #746706 [gnome-terminal] gnome-terminal: Starts when pressings F1 evnn > when it is disabled > Changed Bug title to 'gnome-terminal: Starts 'help' when pressings F1 even > when' from 'gnome-terminal: Starts when pressings F1 evnn when it is disabled' > > binding is disabled. > Unknown command or malformed arguments to command. > > severity 746706 wishlist > Bug #746706 [gnome-terminal] gnome-terminal: Starts 'help' when pressings F1 > even when > Severity set to 'wishlist' from 'important' Since gnome-terminal's configuration allows to assign a shortcut to F1, if it still runs help after assigning a different shortcut, then it sounds to me more like a proper bug than a wish. Anyway, I cannot reproduce this bug with 3.14.1-1, so as far as I'm concerned an even better action would be to close this as fixed. Enrico -- GPG key: 4096R/E7AD5568 2009-05-08 Enrico Zini <enr...@enricozini.org> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org