Hi,
On Wed, Jan 30, 2019 at 6:37 PM Wim Bertels <wim(dot)bertels(at)ucll(dot)be> wrote:
> Hallo,
>
> How can you get all the shortcuts to work?
>
You can change the shortcuts as per your convenience from File >
Preferences .
> F5 does work, but for example CTRL+\ and others don't work?
>
> Context:
> linux
> firefox 60.4
> pgadmin 4.1
>
> https://www.pgadmin.org/docs/pgadmin4/4.x/keyboard_shortcuts.html
>
> --
> mvg,
> Wim
> --
> A light wife doth make a heavy husband.
> -- Wm. Shakespeare, "The Merchant of Venice"
>
>