X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkrange.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkrange.c;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=642d26909a1fb8d06f8c2f80c925b1376d27c836;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git 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 index 642d26909..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkrange.c +++ /dev/null @@ -1,88 +0,0 @@ -/* $Id$ */ - -#include -#include -#include -#include -#include -#include -#include - -#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)