GNOME Bugzilla – Bug 699042
capitalize "Code comment"
Last modified: 2019-03-23 20:33:31 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".
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.