X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkedit.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkedit.c;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=1c64ec2c779d1945467de63269d357c3002eb705;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkedit.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkedit.c deleted file mode 100644 index 1c64ec2c7..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkedit.c +++ /dev/null @@ -1,126 +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" - -/* gtkeditable.h */ - -#define GtkEditable_val(val) check_cast(GTK_EDITABLE,val) -ML_3 (gtk_editable_select_region, GtkEditable_val, Int_val, Int_val, Unit) -value ml_gtk_editable_insert_text (value w, value s, value pos) -{ - int position = Int_val(pos); - gtk_editable_insert_text (GtkEditable_val(w), String_val(s), - string_length(s), &position); - return Val_int(position); -} -ML_3 (gtk_editable_delete_text, GtkEditable_val, Int_val, Int_val, Unit) -ML_3 (gtk_editable_get_chars, GtkEditable_val, Int_val, Int_val, - copy_string_and_free) -ML_1 (gtk_editable_cut_clipboard, GtkEditable_val, Unit) -ML_1 (gtk_editable_copy_clipboard, GtkEditable_val, Unit) -ML_1 (gtk_editable_paste_clipboard, GtkEditable_val, Unit) -ML_3 (gtk_editable_claim_selection, GtkEditable_val, Bool_val, Int_val, Unit) -ML_1 (gtk_editable_delete_selection, GtkEditable_val, Unit) -ML_1 (gtk_editable_changed, GtkEditable_val, Unit) -ML_2 (gtk_editable_set_position, GtkEditable_val, Int_val, Unit) -ML_1 (gtk_editable_get_position, GtkEditable_val, Val_int) -ML_2 (gtk_editable_set_editable, GtkEditable_val, Bool_val, Unit) -Make_Extractor (gtk_editable, GtkEditable_val, selection_start_pos, Val_int) -Make_Extractor (gtk_editable, GtkEditable_val, selection_end_pos, Val_int) -Make_Extractor (gtk_editable, GtkEditable_val, has_selection, Val_bool) - -/* gtkentry.h */ - -#define GtkEntry_val(val) check_cast(GTK_ENTRY,val) -ML_0 (gtk_entry_new, Val_GtkWidget_sink) -ML_1 (gtk_entry_new_with_max_length, (gint16)Long_val, Val_GtkWidget_sink) -ML_2 (gtk_entry_set_text, GtkEntry_val, String_val, Unit) -ML_2 (gtk_entry_append_text, GtkEntry_val, String_val, Unit) -ML_2 (gtk_entry_prepend_text, GtkEntry_val, String_val, Unit) -ML_1 (gtk_entry_get_text, GtkEntry_val, Val_string) -ML_3 (gtk_entry_select_region, GtkEntry_val, Int_val, Int_val, Unit) -ML_2 (gtk_entry_set_visibility, GtkEntry_val, Bool_val, Unit) -ML_2 (gtk_entry_set_max_length, GtkEntry_val, (gint16)Long_val, Unit) -Make_Extractor (GtkEntry, GtkEntry_val, text_length, Val_int) - -/* gtkspinbutton.h */ - -#define GtkSpinButton_val(val) check_cast(GTK_SPIN_BUTTON,val) -ML_3 (gtk_spin_button_new, GtkAdjustment_val, - Float_val, Int_val, Val_GtkWidget_sink) -ML_2 (gtk_spin_button_set_adjustment, GtkSpinButton_val, GtkAdjustment_val, - Unit) -ML_1 (gtk_spin_button_get_adjustment, GtkSpinButton_val, Val_GtkAny) -ML_2 (gtk_spin_button_set_digits, GtkSpinButton_val, Int_val, Unit) -ML_1 (gtk_spin_button_get_value_as_float, GtkSpinButton_val, copy_double) -ML_2 (gtk_spin_button_set_value, GtkSpinButton_val, Float_val, Unit) -ML_2 (gtk_spin_button_set_update_policy, GtkSpinButton_val, - Update_type_val, Unit) -ML_2 (gtk_spin_button_set_numeric, GtkSpinButton_val, Bool_val, Unit) -ML_2 (gtk_spin_button_spin, GtkSpinButton_val, - Insert (Is_long(arg2) ? Spin_type_val(arg2) : GTK_SPIN_USER_DEFINED) - (Is_long(arg2) ? 0.0 : Float_val(Field(arg2,1))) Ignore, Unit) -ML_2 (gtk_spin_button_set_wrap, GtkSpinButton_val, Bool_val, Unit) -ML_2 (gtk_spin_button_set_shadow_type, GtkSpinButton_val, Shadow_type_val, Unit) -ML_2 (gtk_spin_button_set_snap_to_ticks, GtkSpinButton_val, Bool_val, Unit) -ML_4 (gtk_spin_button_configure, GtkSpinButton_val, GtkAdjustment_val, - Float_val, Int_val, Unit) -ML_1 (gtk_spin_button_update, GtkSpinButton_val, Unit) - -/* gtktext.h */ - -#define GtkText_val(val) check_cast(GTK_TEXT,val) -ML_2 (gtk_text_new, GtkAdjustment_val, GtkAdjustment_val, Val_GtkWidget_sink) -ML_2 (gtk_text_set_word_wrap, GtkText_val, Bool_val, Unit) -ML_2 (gtk_text_set_line_wrap, GtkText_val, Bool_val, Unit) -ML_3 (gtk_text_set_adjustments, GtkText_val, - Option_val(arg2,GtkAdjustment_val,GtkText_val(arg1)->hadj) Ignore, - Option_val(arg3,GtkAdjustment_val,GtkText_val(arg1)->vadj) Ignore, - Unit) -Make_Extractor (gtk_text_get, GtkText_val, hadj, Val_GtkWidget) -Make_Extractor (gtk_text_get, GtkText_val, vadj, Val_GtkWidget) -ML_2 (gtk_text_set_point, GtkText_val, Int_val, Unit) -ML_1 (gtk_text_get_point, GtkText_val, Val_int) -ML_1 (gtk_text_get_length, GtkText_val, Val_int) -ML_1 (gtk_text_freeze, GtkText_val, Unit) -ML_1 (gtk_text_thaw, GtkText_val, Unit) -value ml_gtk_text_insert (value text, value font, value fore, value back, - value str) -{ - gtk_text_insert (GtkText_val(text), - Option_val(font,GdkFont_val,NULL), - Option_val(fore,GdkColor_val,NULL), - Option_val(back,GdkColor_val,NULL), - String_val(str), string_length(str)); - return Val_unit; -} -ML_2 (gtk_text_forward_delete, GtkText_val, Int_val, Val_int) -ML_2 (gtk_text_backward_delete, GtkText_val, Int_val, Val_int) - -/* gtkcombo.h */ - -#define GtkCombo_val(val) check_cast(GTK_COMBO,val) -ML_0 (gtk_combo_new, Val_GtkWidget_sink) -ML_3 (gtk_combo_set_value_in_list, GtkCombo_val, - Option_val(arg2, Bool_val, GtkCombo_val(arg1)->value_in_list) Ignore, - Option_val(arg3, Bool_val, GtkCombo_val(arg1)->ok_if_empty) Ignore, - Unit) -ML_2 (gtk_combo_set_use_arrows, GtkCombo_val, Bool_val, Unit) -ML_2 (gtk_combo_set_use_arrows_always, GtkCombo_val, Bool_val, Unit) -ML_2 (gtk_combo_set_case_sensitive, GtkCombo_val, Bool_val, Unit) -ML_3 (gtk_combo_set_item_string, GtkCombo_val, GtkItem_val, String_val, Unit) -ML_1 (gtk_combo_disable_activate, GtkCombo_val, Unit) -Make_Extractor (gtk_combo, GtkCombo_val, entry, Val_GtkWidget) -Make_Extractor (gtk_combo, GtkCombo_val, list, Val_GtkWidget)