GNOME Bugzilla – Bug 94222
Docs bug for terminal
Last modified: 2004-12-22 21:47:04 UTC
The "Edit->Current Profile" menu item moved from "Terminal->Edit current profile" according to https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=72935
How do I mark a bug as a docs bug?
You add the "doc" keyword and then cc Eugene, who either fixes it or says Fleck is a dolt and that Pat or Irene is doing it and then changes the cc to them.
I think this is one for Pat.
*** Bug 95287 has been marked as a duplicate of this bug. ***
The Edit->Current profile information was correct in GNOME Terminal Manual V2.2. The original Red Hat entry logs a bug against GNOME Terminal Manual V2.0. The sources for V2.2 are in CVS HEAD for all to use. So I daresay we can close this particular bug as fixed. Next topic: I must be missing something, but I do not see the connection between bug 95287 and this bug, never mind duplication. But I don't want to have an argument about it, if you think that it's a duplicate, that's fine with me.
Yes, I have no idea why bug 95287 is marked as a dup of this. Probably a typo. Anyway, bug fixed in HEAD, -> CLOSED. Thanks Pat.