gnome-terminal: 'Reset' and 'Reset and Clear' via menu do not work as expected compared with commandline way

[Phil Wyett]

gnome-terminal: 'Reset' and 'Reset and Clear' via menu does not work as expected compared with commandline way.

From menu do either:

  Terminal->Reset

or

  Terminal->Reset and Clear

They behave differently to if you do:

  reset

or

  reset ; clear

from the commandline.

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: gnome-terminal 3.6.1-0ubuntu6
ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3
Uname: Linux 3.11.0-12-generic x86_64
ApportVersion: 2.12.5-0ubuntu2
Architecture: amd64
Date: Sun Oct 13 09:26:07 2013
InstallationDate: Installed on 2013-09-12 (31 days ago)
InstallationMedia: Ubuntu-GNOME 13.04 "Raring Ringtail" - Release amd64 (20130424)
MarkForUpload: True
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to saucy on 2013-09-12 (31 days ago)