After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 732994 - [3.14] Update documentation for profile preferences
[3.14] Update documentation for profile preferences
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: docs
git master
Other All
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
GNOME Terminal Maintainers
winterdocs
Depends on: 720572 727774 728458
Blocks:
 
 
Reported: 2014-07-10 12:56 UTC by Debarshi Ray
Modified: 2015-01-29 09:37 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Debarshi Ray 2014-07-10 12:56:53 UTC
The profile preferences dialog has been refreshed in 3.14. See bug 724110 for actual screenshots and design mock ups. The documentation needs to be adjusted accordingly.

Some of the documentation issues caused by this have already been pointed out in bug 720572 , bug 728458 and bug 727774
Comment 1 Kat 2015-01-29 09:37:20 UTC
Thanks for the bug. Most of the issues have been fixed and the only remaining one enhancement is already described in another bug so closing this one.