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 699042 - capitalize "Code comment"
capitalize "Code comment"
Status: RESOLVED FIXED
Product: gedit-plugins
Classification: Other
Component: General
git master
Other Linux
: Normal trivial
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2013-04-27 15:26 UTC by Adam Dingle
Modified: 2019-03-23 20:33 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Adam Dingle 2013-04-27 15:26:21 UTC
In the Plugins tab in Preferences, all built-in plugins have names using Header Capitalization except "Code comment".  For consistency, we should change it to "Code Comment".
Comment 1 Ignacio Casal Quinteiro (nacho) 2013-04-27 15:29:58 UTC
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.