unpleasant characters

Hi,

I saw a complain about unpleasant characters (listed above) that are generated
by Fx while using SQL Editor. I made an ugly patch to solve the issue. It is a
wxGTK 2.8.10 (debug and unicode build). I didn't test if it affects other
plataforms or versions. Maybe the right fix could be coding OnChar() to ignore
Fx key strokes (or other unpleasant characters)?

F2 = ŕ
F3 = Ŗ
F4 = ŗ
F8 = ś
F9 = Ŝ
F11 = Ş
F12 = ş


--
  Euler Taveira de Oliveira
  http://www.timbira.com/
Index: pgadmin/ctl/ctlSQLBox.cpp
===================================================================
--- pgadmin/ctl/ctlSQLBox.cpp    (revisão 8098)
+++ pgadmin/ctl/ctlSQLBox.cpp    (cópia de trabalho)
@@ -335,6 +335,10 @@
             break;
     }

+    // Ignore F1-F12 keys
+    if (event.GetKeyCode() >= WXK_F1 && event.GetKeyCode() <= WXK_F12)
+        return;
+
     // Block comment/uncomment
     if (event.GetKeyCode() == 'K')
     {