Hallo, How can you get all the shortcuts to work? 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"
