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 698574 - external tools: fix capitalization in label
external tools: fix capitalization in label
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-22 14:43 UTC by Adam Dingle
Modified: 2019-03-23 20:34 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Adam Dingle 2013-04-22 14:43:08 UTC 
A tiny point: in the Manage External Tools dialog, "Shortcut Key:" should be "Shortcut key:" to follow the GNOME interface conventions for dialog labels.
Comment 1 Ignacio Casal Quinteiro (nacho) 2013-04-23 12:17:57 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.