Processed (with 1 errors): severity 746706 wishlist

[Enrico Zini]

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 <enrico at enricozini.org>