Ability to customize Query Tool -> Edit keyboard shortcuts (RM #4339)

[dpage]

Issue migrated from Redmine: https://redmine.postgresql.org/issues/4339
Originally created by Alan Barrington-Hughes at 2019-06-10 19:01:51 UTC.

Add the ability to customize the keyboard shortcut values attributed to the Query Tool -> Edit operations.

I have a browser plugin that overrides the inline comment shortcut, I believe it would be beneficial to customize these values as one can for other Query Tools operations (Preferences -> Query Tool -> Keyboard shortcuts).

[dpage]

Image migrated from Redmine: https://redmine.postgresql.org/attachments/download/3935
Originally created by Alan Barrington-Hughes at 2019-06-10 18:59:02 UTC.

Filename: commenting_shortcuts.png

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-2
Originally created by Akshay Joshi at 2019-06-14 10:29:26 UTC.

Redmine ticket header update:

Name	Old Value	New Value
Sprint changed		Ready

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-3
Originally created by Jan Dikow at 2019-06-25 10:13:26 UTC.

I observed similar problems with the inline comment shortcut. Using "Ctrl + /" is a problem on Germany keyboard layouts, because the "/" can only be inserted by pressing "Shift + 7". It would be great if you could add the possibility to customize this shortcut.

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-4
Originally created by Aditya Toshniwal at 2019-10-29 06:56:22 UTC.

Redmine ticket header update:

Name	Old Value	New Value
Tracker changed	Bug	Feature

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-5
Originally created by Nikhil Mohite at 2021-07-02 11:38:09 UTC.

Redmine ticket header update:

Name	Old Value	New Value
Relationship (duplicated) changed		RM #6561

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-6
Originally created by Nikhil Mohite at 2021-07-02 11:38:32 UTC.

Redmine ticket header update:

Name	Old Value	New Value
Difficulty changed		Medium

[dpage]

Comment migrated from Redmine: https://redmine.postgresql.org/issues/4339#note-7
Originally created by Luca Manganelli at 2022-04-28 07:39:14 UTC.

This is really a need for us who don't have a US/UK keyboard