gnome-terminal-prefs documentation is outdated

Bug #883972 reported by Robert Roth
This bug affects 1 person
Affects Status Importance Assigned to Milestone
GNOME Terminal
gnome-terminal (Ubuntu)

Bug Description

When clicking the help button from the dialog appearing on Edit->Profile Prefences, the displayed help page (gnome-terminal-prefs) contains some outdated information and inconsistency with the interface displayed:
- the Colors tab is spelled in the help as Colours
- the next tab after Colors is called Effects in the help, while in the interface it is called Background
- the first sentence of the help page states: To configure GNOME Terminal, choose Edit->Current Profile, but on the interface the menuitem is labeled Profile Preferences, not Current Profile

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: gnome-user-guide
ProcVersionSignature: Ubuntu 3.0.0-12.20-generic-pae 3.0.4
Uname: Linux 3.0.0-12-generic-pae i686
ApportVersion: 1.23-0ubuntu3
Architecture: i386
CheckboxSubmission: 358fa14de53c8e5a7761d072c2a2e99d
CheckboxSystem: 2a6f54df59af338184485e85cbcf0d32
Date: Sun Oct 30 22:42:23 2011
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Alpha i386 (20110727)
PackageArchitecture: all
 PATH=(custom, no user)
SourcePackage: gnome-user-docs
UpgradeStatus: Upgraded to oneiric on 2011-10-26 (4 days ago)

Revision history for this message
Robert Roth (evfool) wrote :
Revision history for this message
PeteGordon (petegordon007) wrote :
Revision history for this message
PeteGordon (petegordon007) wrote :

There was a mistake in the first patch. Shouldn't have changed Profiles to Profile Preferences and it is Profiles... in the Edit menu

Revision history for this message
Ubuntu Foundations Team Bug Bot (crichton) wrote :

The attachment "In the help file for gnome-terminal changed effect menu to background and changed colour to color" of this bug report has been identified as being a patch. The ubuntu-reviewers team has been subscribed to the bug report so that they can review the patch. In the event that this is in fact not a patch you can resolve this situation by removing the tag 'patch' from the bug report and editing the attachment so that it is not flagged as a patch. Additionally, if you are member of the ubuntu-reviewers team please also unsubscribe the team from this bug report.

[This is an automated message performed by a Launchpad user owned by Brian Murray. Please contact him regarding any issues with the action taken in this bug report.]

tags: added: patch
Revision history for this message
Jeremy Bícha (jbicha) wrote :

This bug is an upstream one and it would be quite helpful if somebody experiencing it could send the bug the to the people writing the software. You can learn more about how to do this at Thanks in advance!

affects: gnome-user-docs (Ubuntu) → gnome-terminal (Ubuntu)
Revision history for this message
Robert Roth (evfool) wrote :
Changed in gnome-terminal (Ubuntu):
importance: Undecided → Low
status: New → Triaged
Changed in gnome-terminal:
importance: Unknown → Low
status: Unknown → New
Changed in gnome-terminal:
status: New → Confirmed
Changed in gnome-terminal:
status: Confirmed → Expired
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.