X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FguiGTK.c;h=d270f744822881681613e187543c496e4133d110;hb=58cc9aa288286beb79f78ce4546d5a4bebde54e5;hp=53bbd74101d9b5f7df2fc34a2a9b76cd243c0375;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.c b/helm/DEVEL/mathml_editor/test/guiGTK.c
index 53bbd7410..d270f7448 100644
--- a/helm/DEVEL/mathml_editor/test/guiGTK.c
+++ b/helm/DEVEL/mathml_editor/test/guiGTK.c
@@ -3,7 +3,7 @@
 #include <gtk/gtk.h>
 #include <gdk/gdkkeysyms.h>
 
-#include "gtkmathview.h"
+#include <gtkmathview/gtkmathview.h>
 #include "guiGTK.h"
 
 #define XLINK_NS_URI "http://www.w3.org/1999/xlink"
@@ -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;