printf("gtk_xtbin_show()\n");
PRINTF("gtk_xtbin_show()\n");
gtk_xtbin_show (GtkWidget *widget){  g_return_if_fail (widget != NULL);  g_return_if_fail (GTK_IS_WIDGET (widget));#ifdef DEBUG_XTBIN  printf("gtk_xtbin_show()\n");#endif  if (!GTK_WIDGET_VISIBLE (widget))  {    GTK_WIDGET_SET_FLAGS (widget, GTK_VISIBLE);    if (!GTK_WIDGET_MAPPED(widget))      gtk_widget_map (widget);  }}