]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkrange.c
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / ml_gtkrange.c
diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkrange.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkrange.c
deleted file mode 100644 (file)
index 642d269..0000000
+++ /dev/null
@@ -1,88 +0,0 @@
-/* $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"
-
-/* gtkprogress.h */
-
-#define GtkProgress_val(val) check_cast(GTK_PROGRESS,val)
-ML_2 (gtk_progress_set_show_text, GtkProgress_val, Bool_val, Unit)
-ML_3 (gtk_progress_set_text_alignment, GtkProgress_val,
-      Option_val(arg2,Float_val,(GtkProgress_val(arg1))->x_align) Ignore,
-      Option_val(arg3,Float_val,(GtkProgress_val(arg1))->y_align) Ignore, Unit)
-ML_2 (gtk_progress_set_format_string, GtkProgress_val, String_val, Unit)
-ML_2 (gtk_progress_set_adjustment, GtkProgress_val, GtkAdjustment_val, Unit)
-ML_4 (gtk_progress_configure, GtkProgress_val,
-      Float_val, Float_val, Float_val, Unit)
-ML_2 (gtk_progress_set_percentage, GtkProgress_val, Float_val, Unit)
-ML_2 (gtk_progress_set_value, GtkProgress_val, Float_val, Unit)
-ML_1 (gtk_progress_get_value, GtkProgress_val, copy_double)
-ML_1 (gtk_progress_get_current_percentage, GtkProgress_val, copy_double)
-ML_2 (gtk_progress_set_activity_mode, GtkProgress_val, Bool_val, Unit)
-ML_1 (gtk_progress_get_current_text, GtkProgress_val, Val_string)
-Make_Extractor (gtk_progress_get, GtkProgress_val, adjustment,
-               Val_GtkAny)
-
-/* gtkprogressbar.h */
-
-#define GtkProgressBar_val(val) check_cast(GTK_PROGRESS_BAR,val)
-ML_0 (gtk_progress_bar_new, Val_GtkWidget_sink)
-ML_1 (gtk_progress_bar_new_with_adjustment, GtkAdjustment_val,
-      Val_GtkWidget_sink)
-ML_2 (gtk_progress_bar_set_bar_style, GtkProgressBar_val,
-      Progress_bar_style_val, Unit)
-ML_2 (gtk_progress_bar_set_discrete_blocks, GtkProgressBar_val, Int_val, Unit)
-ML_2 (gtk_progress_bar_set_activity_step, GtkProgressBar_val, Int_val, Unit)
-ML_2 (gtk_progress_bar_set_activity_blocks, GtkProgressBar_val, Int_val, Unit)
-ML_2 (gtk_progress_bar_set_orientation, GtkProgressBar_val,
-      Progress_bar_orientation_val, Unit)
-/* ML_2 (gtk_progress_bar_update, GtkProgressBar_val, Float_val, Unit) */
-
-/* gtkrange.h */
-
-#define GtkRange_val(val) check_cast(GTK_RANGE,val)
-ML_1 (gtk_range_get_adjustment, GtkRange_val, Val_GtkAny)
-ML_2 (gtk_range_set_adjustment, GtkRange_val, GtkAdjustment_val, Unit)
-ML_2 (gtk_range_set_update_policy, GtkRange_val, Update_type_val, Unit)
-
-/* gtkscale.h */
-
-#define GtkScale_val(val) check_cast(GTK_SCALE,val)
-ML_2 (gtk_scale_set_digits, GtkScale_val, Int_val, Unit)
-ML_2 (gtk_scale_set_draw_value, GtkScale_val, Bool_val, Unit)
-ML_2 (gtk_scale_set_value_pos, GtkScale_val, Position_val, Unit)
-ML_1 (gtk_scale_get_value_width, GtkScale_val, Val_int)
-ML_1 (gtk_scale_draw_value, GtkScale_val, Unit)
-ML_1 (gtk_hscale_new, GtkAdjustment_val, Val_GtkWidget_sink)
-ML_1 (gtk_vscale_new, GtkAdjustment_val, Val_GtkWidget_sink)
-
-/* gtkscrollbar.h */
-
-ML_1 (gtk_hscrollbar_new, GtkAdjustment_val, Val_GtkWidget_sink)
-ML_1 (gtk_vscrollbar_new, GtkAdjustment_val, Val_GtkWidget_sink)
-
-/* gtkruler.h */
-
-#define GtkRuler_val(val) check_cast(GTK_RULER,val)
-ML_2 (gtk_ruler_set_metric, GtkRuler_val, Metric_type_val, Unit)
-ML_5 (gtk_ruler_set_range, GtkRuler_val, Float_val,
-      Float_val, Float_val, Float_val, Unit)
-Make_Extractor (gtk_ruler_get, GtkRuler_val, lower, copy_double)
-Make_Extractor (gtk_ruler_get, GtkRuler_val, upper, copy_double)
-Make_Extractor (gtk_ruler_get, GtkRuler_val, position, copy_double)
-Make_Extractor (gtk_ruler_get, GtkRuler_val, max_size, copy_double)
-ML_1 (gtk_ruler_draw_ticks, GtkRuler_val, Unit)
-ML_1 (gtk_ruler_draw_pos, GtkRuler_val, Unit)
-ML_0 (gtk_hruler_new, Val_GtkWidget_sink)
-ML_0 (gtk_vruler_new, Val_GtkWidget_sink)