CAMLprim value ml_gtkmisc_init(value unit) { /* Since these are declared const, must force gcc to call them! */ GType t = gtk_gamma_curve_get_type() + gtk_statusbar_get_type() + #ifdef HASGTK210 gtk_status_icon_get_type() + #endif gtk_calendar_get_type() + gtk_drawing_area_get_type() + gtk_curve_get_type() + gtk_misc_get_type() + gtk_arrow_get_type() + gtk_image_get_type() + gtk_label_get_type() + gtk_tips_query_get_type() + gtk_pixmap_get_type() + gtk_hseparator_get_type() + gtk_vseparator_get_type() + gtk_preview_get_type () + gtk_font_selection_get_type() + gtk_color_selection_get_type(); return Val_GType(t); }
GtkType led_get_type () { static GtkType led_type = 0; if (!led_type) { static const GtkTypeInfo led_info = { (char *) "Led", sizeof (Led), sizeof (LedClass), (GtkClassInitFunc) led_class_init, (GtkObjectInitFunc) led_init, NULL, NULL, (GtkClassInitFunc) NULL }; led_type = gtk_type_unique (gtk_misc_get_type (), &led_info); } return led_type; }
GtkType gtk_led_get_type () { static GtkType led_type = 0; if (!led_type) { GtkTypeInfo led_info = { "GtkLed", sizeof (GtkLed), sizeof (GtkLedClass), (GtkClassInitFunc) gtk_led_class_init, (GtkObjectInitFunc) gtk_led_init, /* reserved */ NULL, /* reserved */ NULL, (GtkClassInitFunc) NULL, }; led_type = gtk_type_unique (gtk_misc_get_type (), &led_info); } return led_type; }
area_type = gtk_type_unique (GTK_TYPE_MISC, &area_info); } return area_type; } static void meta_area_class_init (MetaAreaClass *class) { GObjectClass *gobject_class = G_OBJECT_CLASS (class); GtkObjectClass *object_class; GtkWidgetClass *widget_class; object_class = (GtkObjectClass*) class; widget_class = (GtkWidgetClass*) class; parent_class = g_type_class_peek (gtk_misc_get_type ()); gobject_class->finalize = meta_area_finalize; widget_class->expose_event = meta_area_expose; widget_class->size_request = meta_area_size_request; } static void meta_area_init (MetaArea *area) { GTK_WIDGET_SET_FLAGS (area, GTK_NO_WINDOW); } GtkWidget* meta_area_new (void)
led_type = gtk_type_unique (gtk_misc_get_type (), &led_info); } return led_type; } void gtk_led_class_init (GtkLedClass *class) { GtkObjectClass *object_class; GtkWidgetClass *widget_class; object_class = (GtkObjectClass*) class; widget_class = (GtkWidgetClass*) class; parent_class = gtk_type_class (gtk_misc_get_type ()); object_class->destroy = gtk_led_destroy; widget_class->size_request = gtk_led_size_request; widget_class->expose_event = gtk_led_expose; widget_class->realize = gtk_led_realize; } void gtk_led_init (GtkLed *led) { GtkMisc *misc; misc = GTK_MISC (led);