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 793111 - Spelling mistakes in documentation
Spelling mistakes in documentation
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: docs
unspecified
Other Linux
: Normal minor
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2018-02-02 01:14 UTC by Bernie Schelberg
Modified: 2018-02-02 02:51 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fix spelling mistakes (1.30 KB, patch)
2018-02-02 01:14 UTC, Bernie Schelberg 		committed Details | Review

Description Bernie Schelberg 2018-02-02 01:14:11 UTC 
A couple of spelling mistakes in "Exploring the Interface" page:

In Header Bar section:
`You can run normally, with a debugger, profiler, or event with Valgrind.`

In Editor section:
`It contains the project tre, list of open documents, todo items, and build errors.`
Comment 1 Bernie Schelberg 2018-02-02 01:14:58 UTC 
Created attachment 367782 [details] [review]
Fix spelling mistakes
Comment 2 Christian Hergert 2018-02-02 02:48:37 UTC 
Review of attachment 367782 [details] [review]:

Thanks!

I thought we had disabled new bugs via bugzilla. For the future, we're on gitlab now so you can file a merge request there at https://gitlab.gnome.org/GNOME/gnome-builder/merge_requests