printf("our_gdk_input_add()\n");
PRINTF("our_gdk_input_add()\n");
our_gdk_input_add (gint              source,                   GdkInputFunction  function,                   gpointer          data,                   gint              priority){#ifdef DEBUG_APPSHELL  printf("our_gdk_input_add()\n");#endif  guint result;  OurGdkIOClosure *closure = g_new (OurGdkIOClosure, 1);  GIOChannel *channel;  closure->function = function;  closure->data = data;  channel = g_io_channel_unix_new (source);  result = g_io_add_watch_full (channel, priority, G_IO_IN,                                our_gdk_io_invoke,                                closure, our_gdk_io_destroy);  g_io_channel_unref (channel);  return result;}