+++ /dev/null
-/* $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"
-
-/* 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)
projects / helm.git / blobdiff