/* - Signal: gboolean GtkWidget::key_release_event (GtkWidget *widget, GdkEventKey *event, gpointer user_data) */ static gboolean key_release_evhandler(GtkWidget *w, GdkEventKey *ev, gpointer p) { if ((ev->keyval != GDK_F12) || (np2oscfg.F12KEY != 0)) gtkkbd_keyup(ev->keyval); return TRUE; }
static gboolean skbdwin_key_release(GtkWidget *w, GdkEventKey *ev, gpointer p) { if (ev->type == GDK_KEY_RELEASE) { if ((ev->keyval != GDK_KEY_F12) || (np2oscfg.F12KEY != 0)) gtkkbd_keyup(ev->keyval); return TRUE; } return FALSE; }