Use Ctrl+Fn for shortcuts in the debugger on GTK, as F10 is a 'system' key and isn...
authordpage <dpage@a7884b65-44f6-0310-8a51-81a127f17b15>
Thu, 14 May 2009 10:54:05 +0000 (10:54 +0000)
committerdpage <dpage@a7884b65-44f6-0310-8a51-81a127f17b15>
Thu, 14 May 2009 10:54:05 +0000 (10:54 +0000)
commit8f83a20daee2e47c72f5bc3524f45dbf6acc25b3
treefb9d947486e65b2a79507f0c8acd93c55e4fb8c8
parent1f92bd25798feb093bd440375d7ade0aefa416c0
Use Ctrl+Fn for shortcuts in the debugger on GTK, as F10 is a 'system' key and isn't processed by wxWidgets. [Ashesh Vashi]

git-svn-id: svn://svn.pgadmin.org/trunk/pgadmin3@7867 a7884b65-44f6-0310-8a51-81a127f17b15
pgadmin/debugger/frmDebugger.cpp