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-effect-change.patch -- 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/gnome-user-docs/+bug/883972/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
