]> 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 53bbd74101d9b5f7df2fc34a2a9b76cd243c0375..d270f744822881681613e187543c496e4133d110 100644 (file)
@@ -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;