I'm planning to change the keyboard shortcuts to allow the user to select "Cmd" instead of "Ctrl". As I mentioned above, only one of them could be selected to allow working on other OS's. On other OS like windows, "Ctrl" and "Cmd" will be treated the same, "Cmd" will be hidden and "Option" will change on "Alt".
I also made some UI improvements like moving shift, ctrl, alt keys before the key input and making it more compact.
The difference between other editors and pgAdmin is that pgAdmin can run on the web. Which means, a pgAdmin server hosted on linux can be opened on a Mac machine browser.
I'm working on removing the usage of Access Keys(which varies based on OS and Browser combination) for keyboard shortcuts and instead use shortcuts similar to all other IDEs.
The challenge here is OS. MacOS has an extra key - Meta, which pgAdmin doesn't take as part of keyboard shortcut currently. In fact, Mac can take Ctrl separately.
pgAdmin can run as a web app so it's even more difficult. It is not possible to have multiple shortcuts based on the OS of the browser.
I suggest we consider Ctrl as Meta when running on a Mac.