]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/test/guiGTK.c
A first partial implementation of deleting is introduced. The user might
[helm.git] / helm / DEVEL / mathml_editor / test / guiGTK.c
index 7b58ffbe895522c9d95b0d12ba74e0cce69066fc..d270f744822881681613e187543c496e4133d110 100644 (file)
@@ -564,6 +564,7 @@ key_press_event(gpointer context,
   case GDK_End:
   case GDK_KP_End:
     break;
+  case GDK_BackSpace: push_char(context, event->keyval); break;
   default:
     if (event->keyval < 0x80) push_char(context, event->keyval);
     return FALSE;