GNOME Bugzilla – Bug 698569
external tools: shortcuts displayed differently in tool list than in Shortcut Key field
Last modified: 2019-03-23 20:33:28 UTC
The external tools dialog displays shortcuts differently in the tool list than in the Shortcut Key field. For example, I've created a tool and assigned it the shortcut Ctrl+Alt+M. The "Shortcut Key:" label displays "Ctrl+Alt+M" (which looks reasonable), but in the tool list on the left the shortcut is displayed as "<Primary><Alt>m" (which is cryptic).
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.
Looks great - thanks for the quick fix!