The source project of this merge request has been removed.
gedit-shortcuts.ui: remove an extention shortcut from Keyboard Shortcuts dialog
Due to, Keyboard Shortcuts dialog only consist of internal shortcuts, remove an extension based shortcut from the dialog.