Ubuntu
gnome-terminal package

  1. Bug #31344
  2. Comment #7

Comment 7 for bug 31344

Revision history for this message
Daniel Holbach (dholbach) wrote : Re: F1 opens Gnome Terminal Help which is no always what you want

I forwarded your suggestion to: http://bugzilla.gnome.org/show_bug.cgi?id=331878