#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"
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;