Re: Getting shortcuts to work?

2019-01-30 Thread Khushboo Vashi
Hi, On Wed, Jan 30, 2019 at 6:37 PM Wim Bertels 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 > pga

Getting shortcuts to work?

2019-01-30 Thread Wim Bertels
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.