6 #include <gdk/gdkkeysyms.h>
12 gboolean on_window_key_press_event(GtkWidget *widget, GdkEventKey *event, winid_t win);
13 void on_window_insert_text(GtkTextBuffer *textbuffer, GtkTextIter *location, gchar *text, gint len, gpointer user_data);
14 void after_window_insert_text(GtkTextBuffer *textbuffer, GtkTextIter *location, gchar *text, gint len, winid_t win);