X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FguiGTK.c;h=01994eaf148cce7fcd4ed8704113f7175e2dca73;hb=962cc970cd9a2161f69b70aa01b6ee9e289d9778;hp=1bcf786ad1852c3364acc68613ea1b9ad49c55d1;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.c b/helm/DEVEL/mathml_editor/test/guiGTK.c
index 1bcf786ad..01994eaf1 100644
--- a/helm/DEVEL/mathml_editor/test/guiGTK.c
+++ b/helm/DEVEL/mathml_editor/test/guiGTK.c
@@ -596,10 +596,13 @@ key_press_event(gpointer c,
   switch (event->keyval)
     {
     case GDK_BackSpace:
-      edit_drop(context, event->state & GDK_MOD1_MASK);
+      edit_drop(context, event->state & GDK_MOD1_MASK, event->state & GDK_CONTROL_MASK);
+      break;
+    case GDK_Tab:
+      edit_complete(context);
       break;
     default:
-      if ((event->state & (~GDK_SHIFT_MASK)) == 0 && event->keyval < 0x80)
+      if ((event->state & (GDK_CONTROL_MASK | GDK_MOD1_MASK)) == 0 && event->keyval < 0x80)
 	edit_push_char(context, event->keyval);
       return FALSE;
     }