X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkmisc.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkmisc.c;h=f69f34390124054a2ca99d6d81f0d1b34ca8bb68;hb=993347ab3975ccc7c39dc0324255fab4a75bc0e2;hp=0000000000000000000000000000000000000000;hpb=1cd4dd7c3838fee49e5851c0ac7acf42f4fc3d67;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkmisc.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkmisc.c
new file mode 100644
index 000000000..f69f34390
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkmisc.c
@@ -0,0 +1,139 @@
+/* $Id$ */
+
+#include <string.h>
+#include <gtk/gtk.h>
+#include <caml/mlvalues.h>
+#include <caml/alloc.h>
+#include <caml/memory.h>
+#include <caml/callback.h>
+#include <caml/fail.h>
+
+#include "wrappers.h"
+#include "ml_glib.h"
+#include "ml_gdk.h"
+#include "ml_gtk.h"
+#include "gtk_tags.h"
+
+/* gtkgamma.h */
+
+#define GtkGammaCurve_val(val) check_cast(GTK_GAMMA_CURVE,val)
+ML_0 (gtk_gamma_curve_new, Val_GtkWidget_sink)
+Make_Extractor (gtk_gamma_curve_get, GtkGammaCurve_val, gamma, copy_double)
+
+/* gtkstatusbar.h */
+
+#define GtkStatusbar_val(val) check_cast(GTK_STATUSBAR,val)
+ML_0 (gtk_statusbar_new, Val_GtkWidget_sink)
+ML_2 (gtk_statusbar_get_context_id, GtkStatusbar_val, String_val, Val_int)
+ML_3 (gtk_statusbar_push, GtkStatusbar_val, Int_val, String_val, Val_int)
+ML_2 (gtk_statusbar_pop, GtkStatusbar_val, Int_val, Unit)
+ML_3 (gtk_statusbar_remove, GtkStatusbar_val, Int_val, Int_val, Unit)
+
+/* gtkcalendar.h */
+
+#define GtkCalendar_val(val) check_cast(GTK_CALENDAR,val)
+ML_0 (gtk_calendar_new, Val_GtkWidget_sink)
+ML_3 (gtk_calendar_select_month, GtkCalendar_val, Int_val, Int_val, Unit)
+ML_2 (gtk_calendar_select_day, GtkCalendar_val, Int_val, Unit)
+ML_2 (gtk_calendar_mark_day, GtkCalendar_val, Int_val, Unit)
+ML_2 (gtk_calendar_unmark_day, GtkCalendar_val, Int_val, Unit)
+ML_1 (gtk_calendar_clear_marks, GtkCalendar_val, Unit)
+Make_Flags_val (Calendar_display_options_val)
+ML_2 (gtk_calendar_display_options, GtkCalendar_val,
+      Flags_Calendar_display_options_val, Unit)
+value ml_gtk_calendar_get_date (value w)
+{
+    guint year, month, day;
+    value ret;
+
+    gtk_calendar_get_date (GtkCalendar_val(w), &year, &month, &day);
+    ret = alloc_small (3, 0);
+    Field(ret,0) = Val_int(year);
+    Field(ret,1) = Val_int(month);
+    Field(ret,2) = Val_int(day);
+    return ret;
+}
+ML_1 (gtk_calendar_freeze, GtkCalendar_val, Unit)
+ML_1 (gtk_calendar_thaw, GtkCalendar_val, Unit)
+
+/* gtkdrawingarea.h */
+
+#define GtkDrawingArea_val(val) check_cast(GTK_DRAWING_AREA,val)
+ML_0 (gtk_drawing_area_new, Val_GtkWidget_sink)
+ML_3 (gtk_drawing_area_size, GtkDrawingArea_val, Int_val, Int_val, Unit)
+
+/* gtkmisc.h */
+
+#define GtkMisc_val(val) check_cast(GTK_MISC,val)
+ML_3 (gtk_misc_set_alignment, GtkMisc_val, Double_val, Double_val, Unit)
+ML_3 (gtk_misc_set_padding, GtkMisc_val, Int_val, Int_val, Unit)
+Make_Extractor (gtk_misc_get, GtkMisc_val, xalign, copy_double)
+Make_Extractor (gtk_misc_get, GtkMisc_val, yalign, copy_double)
+Make_Extractor (gtk_misc_get, GtkMisc_val, xpad, Val_int)
+Make_Extractor (gtk_misc_get, GtkMisc_val, ypad, Val_int)
+
+/* gtkarrow.h */
+
+#define GtkArrow_val(val) check_cast(GTK_ARROW,val)
+ML_2 (gtk_arrow_new, Arrow_type_val, Shadow_type_val, Val_GtkWidget_sink)
+ML_3 (gtk_arrow_set, GtkArrow_val, Arrow_type_val, Shadow_type_val, Unit)
+
+/* gtkimage.h */
+
+#define GtkImage_val(val) check_cast(GTK_IMAGE,val)
+ML_2 (gtk_image_new, GdkImage_val,
+      Option_val (arg2, GdkBitmap_val, NULL) Ignore, Val_GtkWidget_sink)
+ML_3 (gtk_image_set, GtkImage_val, GdkImage_val,
+      Option_val (arg2, GdkBitmap_val, NULL) Ignore, Unit)
+
+/* gtklabel.h */
+
+#define GtkLabel_val(val) check_cast(GTK_LABEL,val)
+ML_1 (gtk_label_new, String_val, Val_GtkWidget_sink)
+ML_2 (gtk_label_set_text, GtkLabel_val, String_val, Unit)
+ML_2 (gtk_label_set_pattern, GtkLabel_val, String_val, Unit)
+ML_2 (gtk_label_set_justify, GtkLabel_val, Justification_val, Unit)
+ML_2 (gtk_label_set_line_wrap, GtkLabel_val, Bool_val, Unit)
+Make_Extractor (gtk_label_get, GtkLabel_val, label, Val_string)
+
+/* gtktipsquery.h */
+
+#define GtkTipsQuery_val(val) check_cast(GTK_TIPS_QUERY,val)
+ML_0 (gtk_tips_query_new, Val_GtkWidget_sink)
+ML_1 (gtk_tips_query_start_query, GtkTipsQuery_val, Unit)
+ML_1 (gtk_tips_query_stop_query, GtkTipsQuery_val, Unit)
+ML_2 (gtk_tips_query_set_caller, GtkTipsQuery_val, GtkWidget_val, Unit)
+ML_3 (gtk_tips_query_set_labels, GtkTipsQuery_val,
+      String_val, String_val, Unit)
+value ml_gtk_tips_query_set_emit_always (value w, value arg)
+{
+    GtkTipsQuery_val(w)->emit_always = Bool_val(arg);
+    return Val_unit;
+}
+Make_Extractor (gtk_tips_query_get, GtkTipsQuery_val, emit_always, Val_bool)
+Make_Extractor (gtk_tips_query_get, GtkTipsQuery_val, caller, Val_GtkWidget)
+Make_Extractor (gtk_tips_query_get, GtkTipsQuery_val, label_inactive,
+		Val_string)
+Make_Extractor (gtk_tips_query_get, GtkTipsQuery_val, label_no_tip,
+		Val_string)
+
+/* gtkpixmap.h */
+
+#define GtkPixmap_val(val) check_cast(GTK_PIXMAP,val)
+ML_2 (gtk_pixmap_new, GdkPixmap_val,
+      Option_val (arg2, GdkBitmap_val, NULL) Ignore,
+      Val_GtkWidget_sink)
+value ml_gtk_pixmap_set (value val, value pixmap, value mask)
+{
+    GtkPixmap *w = GtkPixmap_val(val);
+    gtk_pixmap_set (w, Option_val(pixmap,GdkPixmap_val,w->pixmap),
+		    Option_val(mask,GdkBitmap_val,w->mask));
+    return Val_unit;
+}
+Make_Extractor (GtkPixmap, GtkPixmap_val, pixmap, Val_GdkPixmap)
+Make_Extractor (GtkPixmap, GtkPixmap_val, mask, Val_GdkBitmap)
+
+/* gtk[hv]separator.h */
+
+ML_0 (gtk_hseparator_new, Val_GtkWidget_sink)
+ML_0 (gtk_vseparator_new, Val_GtkWidget_sink)