]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkmenu.c
implemented and exported heal_header_name and heal_header_value
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / ml_gtkmenu.c
1 /* $Id$ */
2
3 #include <string.h>
4 #include <gtk/gtk.h>
5 #include <caml/mlvalues.h>
6 #include <caml/alloc.h>
7 #include <caml/memory.h>
8 #include <caml/callback.h>
9 #include <caml/fail.h>
10
11 #include "wrappers.h"
12 #include "ml_glib.h"
13 #include "ml_gdk.h"
14 #include "ml_gtk.h"
15 #include "gtk_tags.h"
16
17 /* gtkmenuitem.h */
18
19 #define GtkMenuItem_val(val) check_cast(GTK_MENU_ITEM,val)
20 ML_0 (gtk_menu_item_new, Val_GtkWidget_sink)
21 ML_0 (gtk_tearoff_menu_item_new, Val_GtkWidget_sink)
22 ML_1 (gtk_menu_item_new_with_label, String_val, Val_GtkWidget_sink)
23 ML_2 (gtk_menu_item_set_submenu, GtkMenuItem_val, GtkWidget_val, Unit)
24 ML_1 (gtk_menu_item_remove_submenu, GtkMenuItem_val, Unit)
25 ML_2 (gtk_menu_item_set_placement, GtkMenuItem_val,
26       Submenu_placement_val, Unit)
27 ML_3 (gtk_menu_item_configure, GtkMenuItem_val, Bool_val, Bool_val, Unit)
28 ML_1 (gtk_menu_item_activate, GtkMenuItem_val, Unit)
29 ML_1 (gtk_menu_item_right_justify, GtkMenuItem_val, Unit)
30
31 /* gtkcheckmenuitem.h */
32
33 #define GtkCheckMenuItem_val(val) check_cast(GTK_CHECK_MENU_ITEM,val)
34 ML_0 (gtk_check_menu_item_new, Val_GtkWidget_sink)
35 ML_1 (gtk_check_menu_item_new_with_label, String_val, Val_GtkWidget_sink)
36 ML_2 (gtk_check_menu_item_set_active, GtkCheckMenuItem_val, Bool_val, Unit)
37 ML_2 (gtk_check_menu_item_set_show_toggle, GtkCheckMenuItem_val,
38       Bool_val, Unit)
39 ML_1 (gtk_check_menu_item_toggled, GtkCheckMenuItem_val, Unit)
40 Make_Extractor (gtk_check_menu_item_get, GtkCheckMenuItem_val,
41                 active, Val_bool)
42
43 /* gtkradiomenuitem.h */
44
45 #define GtkRadioMenuItem_val(val) check_cast(GTK_RADIO_MENU_ITEM,val)
46 static GSList* item_group_val(value val)
47 {
48     return (val == Val_unit ? NULL :
49             gtk_radio_menu_item_group(GtkRadioMenuItem_val(Field(val,0))));
50 }
51 ML_1 (gtk_radio_menu_item_new, item_group_val, Val_GtkWidget_sink)
52 ML_2 (gtk_radio_menu_item_new_with_label, item_group_val,
53       String_val, Val_GtkWidget_sink)
54 ML_2 (gtk_radio_menu_item_set_group, GtkRadioMenuItem_val,
55       item_group_val, Unit)
56
57 /* gtkoptionmenu.h */
58
59 #define GtkOptionMenu_val(val) check_cast(GTK_OPTION_MENU,val)
60 ML_0 (gtk_option_menu_new, Val_GtkWidget_sink)
61 ML_1 (gtk_option_menu_get_menu, GtkOptionMenu_val, Val_GtkWidget_sink)
62 ML_2 (gtk_option_menu_set_menu, GtkOptionMenu_val, GtkWidget_val, Unit)
63 ML_1 (gtk_option_menu_remove_menu, GtkOptionMenu_val, Unit)
64 ML_2 (gtk_option_menu_set_history, GtkOptionMenu_val, Int_val, Unit)
65
66 /* gtkmenushell.h */
67
68 #define GtkMenuShell_val(val) check_cast(GTK_MENU_SHELL,val)
69 ML_2 (gtk_menu_shell_append, GtkMenuShell_val, GtkWidget_val, Unit)
70 ML_2 (gtk_menu_shell_prepend, GtkMenuShell_val, GtkWidget_val, Unit)
71 ML_3 (gtk_menu_shell_insert, GtkMenuShell_val, GtkWidget_val, Int_val, Unit)
72 ML_1 (gtk_menu_shell_deactivate, GtkMenuShell_val, Unit)
73
74 /* gtkmenu.h */
75
76 #define GtkMenu_val(val) check_cast(GTK_MENU,val)
77 ML_0 (gtk_menu_new, Val_GtkWidget_sink)
78 ML_5 (gtk_menu_popup, GtkMenu_val, GtkWidget_val, GtkWidget_val,
79       Insert(NULL) Insert(NULL) Int_val, Int_val, Unit)
80 ML_1 (gtk_menu_popdown, GtkMenu_val, Unit)
81 ML_1 (gtk_menu_get_active, GtkMenu_val, Val_GtkWidget)
82 ML_2 (gtk_menu_set_active, GtkMenu_val, Int_val, Unit)
83 ML_2 (gtk_menu_set_accel_group, GtkMenu_val, GtkAccelGroup_val, Unit)
84 ML_1 (gtk_menu_get_accel_group, GtkMenu_val, Val_GtkAccelGroup)
85 ML_1 (gtk_menu_ensure_uline_accel_group, GtkMenu_val, Val_GtkAccelGroup)
86 value ml_gtk_menu_attach_to_widget (value menu, value widget)
87 {
88     gtk_menu_attach_to_widget (GtkMenu_val(menu), GtkWidget_val(widget), NULL);
89     return Val_unit;
90 }
91 ML_1 (gtk_menu_get_attach_widget, GtkMenu_val, Val_GtkWidget)
92 ML_1 (gtk_menu_detach, GtkMenu_val, Unit)
93
94 /* gtkmenubar.h */
95
96 #define GtkMenuBar_val(val) check_cast(GTK_MENU_BAR,val)
97 ML_0 (gtk_menu_bar_new, Val_GtkWidget_sink)