gnome-terminal-prefs documentation is outdated
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
| GNOME Terminal |
Expired
|
Low
|
||
| gnome-terminal (Ubuntu) |
Low
|
Unassigned |
Bug Description
When clicking the help button from the dialog appearing on Edit->Profile Prefences, the displayed help page (gnome-
- 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 3.2.0.1-0ubuntu1
ProcVersionSign
Uname: Linux 3.0.0-12-
ApportVersion: 1.23-0ubuntu3
Architecture: i386
CheckboxSubmission: 358fa14de53c8e5
CheckboxSystem: 2a6f54df59af338
Date: Sun Oct 30 22:42:23 2011
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Alpha i386 (20110727)
PackageArchitec
ProcEnviron:
PATH=(custom, no user)
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-user-docs
UpgradeStatus: Upgraded to oneiric on 2011-10-26 (4 days ago)
Robert Roth (evfool) wrote : | #1 |
PeteGordon (petegordon007) wrote : | #2 |
PeteGordon (petegordon007) wrote : | #3 |
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 |
Jeremy Bicha (jbicha) wrote : | #5 |
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 https:/
affects: | gnome-user-docs (Ubuntu) → gnome-terminal (Ubuntu) |
Robert Roth (evfool) wrote : | #6 |
Forwarded to GNOME, see https:/
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 |
There was a mistake in the first patch. Shouldn't have changed Profiles to Profile Preferences and it is Profiles... in the Edit menu