Hi Aditya,
What is the behaviour of the other editors with respect to Meta Key? If
they do not treat Meta key differently, then we shouldn't.
Thanks,
Yogesh Mahajan
EnterpriseDB
On Tue, Apr 16, 2024 at 4:44 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi,
>
> Just came to
Hi,
Just came to my mind - We could add one more checkbox - "Is Meta?" for
Ctrl. That way - users will have more control.
On Tue, Apr 16, 2024 at 4:26 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> I'm working on removing the usage of Access Keys(which varies
Hi Hackers,
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