Right now it emits manually the key event signals on the widget, which is not totally correct I'd say. At the very least it should use gtk_widget_event, possibly gtk_propagate_event, and maybe gtk_main_do_event, which in theory is the closest thing to properly faking the event.
*** This bug has been marked as a duplicate of bug 40182 ***