[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2013-03-12 Thread Bug Watch Updater
** Changed in: gnome-terminal Status: Confirmed => Expired -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/883972 Title: gnome-terminal-prefs documentation is outdated To manage notifications

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-11-26 Thread Bug Watch Updater
** Changed in: gnome-terminal Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/883972 Title: gnome-terminal-prefs documentation is outdated To manage notifications abou

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-04-18 Thread Bug Watch Updater
** Changed in: gnome-terminal Status: Unknown => New ** Changed in: gnome-terminal Importance: Unknown => Low -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/883972 Title: gnome-terminal-pr

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-04-18 Thread Robert Roth
Forwarded to GNOME, see https://bugzilla.gnome.org/show_bug.cgi?id=674364. ** Changed in: gnome-terminal (Ubuntu) Importance: Undecided => Low ** Bug watch added: GNOME Bug Tracker #674364 https://bugzilla.gnome.org/show_bug.cgi?id=674364 ** Also affects: gnome-terminal via https://bugz

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-04-18 Thread Jeremy Bicha
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://wiki.ubuntu.com/Bugs/GNOME. Thanks in advance! ** Package changed: gnome-user-docs (Ubuntu) => gnome

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-03-28 Thread Ubuntu Foundation's Bug Bot
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

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-03-28 Thread PeteGordon
There was a mistake in the first patch. Shouldn't have changed Profiles to Profile Preferences and it is Profiles... in the Edit menu ** Patch added: "883972-change-color-effect-help" https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/883972/+attachment/2957284/+files/883972-colour

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2012-03-28 Thread PeteGordon
** Patch added: "In the help file for gnome-terminal changed effect menu to background and changed colour to color" https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/883972/+attachment/2957282/+files/883972-colour-effect-change.patch -- You received this bug notification because

[Bug 883972] Re: gnome-terminal-prefs documentation is outdated

2011-10-30 Thread Robert Roth
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/883972 Title: gnome-terminal-prefs documentation is outdated To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gno