Hi, On Wed, Jan 30, 2019 at 6:37 PM Wim Bertels <wim.bert...@ucll.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" > >