No option to "save history as" in Gnomes terminal

[Lars Wirzenius]

to, 2009-03-19 kello 21:55 +0100, Nigel Henry kirjoitti:
> Can anyone suggest who I should contact to have the "save history as"
> option 
> added to Gnomes terminal.

The best way to do that would be to talk to the gnome-terminal
maintainers within the GNOME project. Start by filing a bug to
http://bugzilla.gnome.org/ (the GNOME project bug tracker).

Then writing a patch for it, or finding someone to write the patch,
would be a great step forward.