X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkpack.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkpack.c;h=0000000000000000000000000000000000000000;hp=b089b882e151a478b0e7a2ed057d520f38d7cc3e;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkpack.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkpack.c deleted file mode 100644 index b089b882e..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkpack.c +++ /dev/null @@ -1,229 +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" - -static Make_Flags_val (Attach_options_val) - -/* gtkbox.h */ - -#define GtkBox_val(val) check_cast(GTK_BOX,val) -ML_5 (gtk_box_pack_start, GtkBox_val, GtkWidget_val, Bool_val, Bool_val, - Int_val, Unit) -ML_5 (gtk_box_pack_end, GtkBox_val, GtkWidget_val, Bool_val, Bool_val, - Int_val, Unit) -ML_2 (gtk_box_set_homogeneous, GtkBox_val, Bool_val, Unit) -ML_2 (gtk_box_set_spacing, GtkBox_val, Int_val, Unit) -ML_3 (gtk_box_reorder_child, GtkBox_val, GtkWidget_val, Int_val, Unit) -value ml_gtk_box_query_child_packing (value box, value child) -{ - int expand, fill; - unsigned int padding; - GtkPackType pack_type; - value ret; - gtk_box_query_child_packing (GtkBox_val(box), GtkWidget_val(child), - &expand, &fill, &padding, &pack_type); - ret = alloc_small(4,0); - Field(ret,0) = Val_bool(expand); - Field(ret,1) = Val_bool(fill); - Field(ret,2) = Val_int(padding); - Field(ret,3) = Val_pack_type(pack_type); - return ret; -} -value ml_gtk_box_set_child_packing (value vbox, value vchild, value vexpand, - value vfill, value vpadding, value vpack) -{ - GtkBox *box = GtkBox_val(vbox); - GtkWidget *child = GtkWidget_val(vchild); - int expand, fill; - unsigned int padding; - GtkPackType pack; - gtk_box_query_child_packing (box, child, &expand, &fill, &padding, &pack); - gtk_box_set_child_packing (box, child, - Option_val(vexpand, Bool_val, expand), - Option_val(vfill, Bool_val, fill), - Option_val(vpadding, Int_val, padding), - Option_val(vpack, Pack_type_val, pack)); - return Val_unit; -} -ML_bc6 (ml_gtk_box_set_child_packing) - -ML_2 (gtk_hbox_new, Bool_val, Int_val, Val_GtkWidget_sink) -ML_2 (gtk_vbox_new, Bool_val, Int_val, Val_GtkWidget_sink) - -/* gtkbbox.h */ - -#define GtkButtonBox_val(val) check_cast(GTK_BUTTON_BOX,val) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, spacing, Val_int) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, child_min_width, Val_int) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, child_min_height, - Val_int) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, child_ipad_x, Val_int) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, child_ipad_y, Val_int) -Make_Extractor (gtk_button_box_get, GtkButtonBox_val, layout_style, - Val_button_box_style) -ML_2 (gtk_button_box_set_spacing, GtkButtonBox_val, Int_val, Unit) -ML_3 (gtk_button_box_set_child_size, GtkButtonBox_val, - Int_val, Int_val, Unit) -ML_3 (gtk_button_box_set_child_ipadding, GtkButtonBox_val, - Int_val, Int_val, Unit) -ML_2 (gtk_button_box_set_layout, GtkButtonBox_val, Button_box_style_val, Unit) -ML_2 (gtk_button_box_set_child_size_default, Int_val, Int_val, Unit) -ML_2 (gtk_button_box_set_child_ipadding_default, Int_val, Int_val, Unit) - -ML_0 (gtk_hbutton_box_new, Val_GtkWidget_sink) -ML_0 (gtk_vbutton_box_new, Val_GtkWidget_sink) - -/* gtkfixed.h */ - -#define GtkFixed_val(val) check_cast(GTK_FIXED,val) -ML_0 (gtk_fixed_new, Val_GtkWidget_sink) -ML_4 (gtk_fixed_put, GtkFixed_val, GtkWidget_val, (gint16)Long_val, (gint16)Long_val, Unit) -ML_4 (gtk_fixed_move, GtkFixed_val, GtkWidget_val, (gint16)Long_val, (gint16)Long_val, Unit) - -/* gtklayout.h */ - -#define GtkLayout_val(val) check_cast(GTK_LAYOUT,val) -ML_2 (gtk_layout_new, GtkAdjustment_val, GtkAdjustment_val, Val_GtkWidget_sink) -ML_4 (gtk_layout_put, GtkLayout_val, GtkWidget_val, Int_val, Int_val, Unit) -ML_4 (gtk_layout_move, GtkLayout_val, GtkWidget_val, Int_val, Int_val, Unit) -ML_3 (gtk_layout_set_size, GtkLayout_val, Int_val, Int_val, Unit) -ML_1 (gtk_layout_get_hadjustment, GtkLayout_val, Val_GtkAny) -ML_1 (gtk_layout_get_vadjustment, GtkLayout_val, Val_GtkAny) -ML_2 (gtk_layout_set_hadjustment, GtkLayout_val, GtkAdjustment_val, Unit) -ML_2 (gtk_layout_set_vadjustment, GtkLayout_val, GtkAdjustment_val, Unit) -ML_1 (gtk_layout_freeze, GtkLayout_val, Unit) -ML_1 (gtk_layout_thaw, GtkLayout_val, Unit) -Make_Extractor (gtk_layout_get, GtkLayout_val, width, Val_int) -Make_Extractor (gtk_layout_get, GtkLayout_val, height, Val_int) - -/* gtknotebook.h */ - -#define GtkNotebook_val(val) check_cast(GTK_NOTEBOOK,val) -ML_0 (gtk_notebook_new, Val_GtkWidget_sink) - -ML_5 (gtk_notebook_insert_page_menu, GtkNotebook_val, GtkWidget_val, - GtkWidget_val, GtkWidget_val, Int_val, Unit) -ML_2 (gtk_notebook_remove_page, GtkNotebook_val, Int_val, Unit) - -ML_2 (gtk_notebook_set_tab_pos, GtkNotebook_val, Position_val, Unit) -ML_2 (gtk_notebook_set_homogeneous_tabs, GtkNotebook_val, Bool_val, Unit) -ML_2 (gtk_notebook_set_show_tabs, GtkNotebook_val, Bool_val, Unit) -ML_2 (gtk_notebook_set_show_border, GtkNotebook_val, Bool_val, Unit) -ML_2 (gtk_notebook_set_scrollable, GtkNotebook_val, Bool_val, Unit) -ML_2 (gtk_notebook_set_tab_border, GtkNotebook_val, Int_val, Unit) -ML_1 (gtk_notebook_popup_enable, GtkNotebook_val, Unit) -ML_1 (gtk_notebook_popup_disable, GtkNotebook_val, Unit) - -ML_1 (gtk_notebook_get_current_page, GtkNotebook_val, Val_int) -ML_2 (gtk_notebook_set_page, GtkNotebook_val, Int_val, Unit) -ML_2 (gtk_notebook_get_nth_page, GtkNotebook_val, Int_val, Val_GtkWidget) -ML_2 (gtk_notebook_page_num, GtkNotebook_val, GtkWidget_val, Val_int) -ML_1 (gtk_notebook_next_page, GtkNotebook_val, Unit) -ML_1 (gtk_notebook_prev_page, GtkNotebook_val, Unit) - -ML_2 (gtk_notebook_get_tab_label, GtkNotebook_val, GtkWidget_val, - Val_GtkWidget) -ML_3 (gtk_notebook_set_tab_label, GtkNotebook_val, GtkWidget_val, - GtkWidget_val, Unit) -ML_2 (gtk_notebook_get_menu_label, GtkNotebook_val, GtkWidget_val, - Val_GtkWidget) -ML_3 (gtk_notebook_set_menu_label, GtkNotebook_val, GtkWidget_val, - GtkWidget_val, Unit) -ML_3 (gtk_notebook_reorder_child, GtkNotebook_val, GtkWidget_val, - Int_val, Unit) - - -/* gtkpacker.h */ - -Make_OptFlags_val(Packer_options_val) - -#define GtkPacker_val(val) check_cast(GTK_PACKER,val) -ML_0 (gtk_packer_new, Val_GtkWidget_sink) -ML_10 (gtk_packer_add, GtkPacker_val, GtkWidget_val, - Option_val(arg3,Side_type_val,GTK_SIDE_TOP) Ignore, - Option_val(arg4,Anchor_type_val,GTK_ANCHOR_CENTER) Ignore, - OptFlags_Packer_options_val, - Option_val(arg6,Int_val,GtkPacker_val(arg1)->default_border_width) Ignore, - Option_val(arg7,Int_val,GtkPacker_val(arg1)->default_pad_x) Ignore, - Option_val(arg8,Int_val,GtkPacker_val(arg1)->default_pad_y) Ignore, - Option_val(arg9,Int_val,GtkPacker_val(arg1)->default_i_pad_x) Ignore, - Option_val(arg10,Int_val,GtkPacker_val(arg1)->default_i_pad_y) Ignore, - Unit) -ML_bc10 (ml_gtk_packer_add) -ML_5 (gtk_packer_add_defaults, GtkPacker_val, GtkWidget_val, - Option_val(arg3,Side_type_val,GTK_SIDE_TOP) Ignore, - Option_val(arg4,Anchor_type_val,GTK_ANCHOR_CENTER) Ignore, - OptFlags_Packer_options_val, Unit) -ML_10 (gtk_packer_set_child_packing, GtkPacker_val, GtkWidget_val, - Option_val(arg3,Side_type_val,GTK_SIDE_TOP) Ignore, - Option_val(arg4,Anchor_type_val,GTK_ANCHOR_CENTER) Ignore, - OptFlags_Packer_options_val, - Option_val(arg6,Int_val,GtkPacker_val(arg1)->default_border_width) Ignore, - Option_val(arg7,Int_val,GtkPacker_val(arg1)->default_pad_x) Ignore, - Option_val(arg8,Int_val,GtkPacker_val(arg1)->default_pad_y) Ignore, - Option_val(arg9,Int_val,GtkPacker_val(arg1)->default_i_pad_x) Ignore, - Option_val(arg10,Int_val,GtkPacker_val(arg1)->default_i_pad_y) Ignore, - Unit) -ML_bc10 (ml_gtk_packer_set_child_packing) -ML_3 (gtk_packer_reorder_child, GtkPacker_val, GtkWidget_val, - Int_val, Unit) -ML_2 (gtk_packer_set_spacing, GtkPacker_val, Int_val, Unit) -value ml_gtk_packer_set_defaults (value w, value border_width, - value pad_x, value pad_y, - value i_pad_x, value i_pad_y) -{ - GtkPacker *p = GtkPacker_val(w); - if (Is_block(border_width)) - gtk_packer_set_default_border_width (p,Int_val(Field(border_width,0))); - if (Is_block(pad_x) || Is_block(pad_y)) - gtk_packer_set_default_pad - (p, Option_val(pad_x,Int_val,p->default_pad_x), - Option_val(pad_y,Int_val,p->default_pad_y)); - if (Is_block(i_pad_x) || Is_block(i_pad_y)) - gtk_packer_set_default_ipad - (p, Option_val(pad_x,Int_val,p->default_i_pad_x), - Option_val(pad_y,Int_val,p->default_i_pad_y)); - return Val_unit; -} -ML_bc6 (ml_gtk_packer_set_defaults) - -/* gtkpaned.h */ - -#define GtkPaned_val(val) check_cast(GTK_PANED,val) -ML_0 (gtk_hpaned_new, Val_GtkWidget_sink) -ML_0 (gtk_vpaned_new, Val_GtkWidget_sink) -ML_2 (gtk_paned_add1, GtkPaned_val, GtkWidget_val, Unit) -ML_2 (gtk_paned_add2, GtkPaned_val, GtkWidget_val, Unit) -ML_2 (gtk_paned_set_handle_size, GtkPaned_val, (gint16)Int_val, Unit) -ML_2 (gtk_paned_set_gutter_size, GtkPaned_val, (gint16)Int_val, Unit) -Make_Extractor (gtk_paned, GtkPaned_val, child1, Val_GtkWidget) -Make_Extractor (gtk_paned, GtkPaned_val, child2, Val_GtkWidget) -Make_Extractor (gtk_paned, GtkPaned_val, handle_size, Val_int) -Make_Extractor (gtk_paned, GtkPaned_val, gutter_size, Val_int) - -/* gtktable.h */ - -#define GtkTable_val(val) check_cast(GTK_TABLE,val) -ML_3 (gtk_table_new, Int_val, Int_val, Int_val, Val_GtkWidget_sink) -ML_10 (gtk_table_attach, GtkTable_val, GtkWidget_val, - Int_val, Int_val, Int_val, Int_val, - Flags_Attach_options_val, Flags_Attach_options_val, - Int_val, Int_val, Unit) -ML_bc10 (ml_gtk_table_attach) -ML_3 (gtk_table_set_row_spacing, GtkTable_val, Int_val, Int_val, Unit) -ML_3 (gtk_table_set_col_spacing, GtkTable_val, Int_val, Int_val, Unit) -ML_2 (gtk_table_set_row_spacings, GtkTable_val, Int_val, Unit) -ML_2 (gtk_table_set_col_spacings, GtkTable_val, Int_val, Unit) -ML_2 (gtk_table_set_homogeneous, GtkTable_val, Bool_val, Unit)