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).