Source file gtkMenuProps.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
open Gobject
open Data
module Object = GtkObject
open Gtk
external ml_gtkmenu_init : unit -> unit = "ml_gtkmenu_init"
let () = ml_gtkmenu_init ()
let may_cons = Property.may_cons
let may_cons_opt = Property.may_cons_opt
module MenuItem = struct
let cast w : Gtk.menu_item obj = try_cast w "GtkMenuItem"
module S = struct
open GtkSignal
let activate =
{name="activate"; classe=`menuitem; marshaller=marshal_unit}
let activate_item =
{name="activate_item"; classe=`menuitem; marshaller=marshal_unit}
end
let create pl : Gtk.menu_item obj = Object.make "GtkMenuItem" pl
external set_submenu : [>`menuitem] obj -> [>`menu] obj option -> unit
= "ml_gtk_menu_item_set_submenu"
external get_submenu : [>`menuitem] obj -> widget obj option
= "ml_gtk_menu_item_get_submenu"
external activate : [>`menuitem] obj -> unit = "ml_gtk_menu_item_activate"
external select : [>`menuitem] obj -> unit = "ml_gtk_menu_item_select"
external deselect : [>`menuitem] obj -> unit = "ml_gtk_menu_item_deselect"
external set_accel_path : [>`menuitem] obj -> string -> unit
= "ml_gtk_menu_item_set_accel_path"
external toggle_size_request : [>`menuitem] obj -> int -> unit
= "ml_gtk_menu_item_toggle_size_request"
external toggle_size_allocate : [>`menuitem] obj -> int -> unit
= "ml_gtk_menu_item_toggle_size_allocate"
end
module CheckMenuItem = struct
let cast w : Gtk.check_menu_item obj = try_cast w "GtkCheckMenuItem"
module P = struct
let active : ([>`checkmenuitem],_) property =
{name="active"; conv=boolean}
let inconsistent : ([>`checkmenuitem],_) property =
{name="inconsistent"; conv=boolean}
end
module S = struct
open GtkSignal
let toggled =
{name="toggled"; classe=`checkmenuitem; marshaller=marshal_unit}
end
let create pl : Gtk.check_menu_item obj = Object.make "GtkCheckMenuItem" pl
external toggled : [>`checkmenuitem] obj -> unit
= "ml_gtk_check_menu_item_toggled"
end
module RadioMenuItem = struct
let cast w : Gtk.radio_menu_item obj = try_cast w "GtkRadioMenuItem"
external set_group : [>`radiomenuitem] obj -> radio_menu_item group -> unit
= "ml_gtk_radio_menu_item_set_group"
end
module MenuShell = struct
let cast w : Gtk.menu_shell obj = try_cast w "GtkMenuShell"
module S = struct
open GtkSignal
let activate_current =
{name="activate_current"; classe=`menushell; marshaller=fun f ->
marshal1 boolean "GtkMenuShell::activate_current" f}
let cancel = {name="cancel"; classe=`menushell; marshaller=marshal_unit}
let cycle_focus =
{name="cycle_focus"; classe=`menushell; marshaller=fun f ->
marshal1 GtkEnums.Conv.direction_type "GtkMenuShell::cycle_focus" f}
let deactivate =
{name="deactivate"; classe=`menushell; marshaller=marshal_unit}
let move_current =
{name="move_current"; classe=`menushell; marshaller=fun f ->
marshal1 GtkEnums.Conv.menu_direction_type
"GtkMenuShell::move_current" f}
let selection_done =
{name="selection_done"; classe=`menushell; marshaller=marshal_unit}
end
external append : [>`menushell] obj -> [>`widget] obj -> unit
= "ml_gtk_menu_shell_append"
external prepend : [>`menushell] obj -> [>`widget] obj -> unit
= "ml_gtk_menu_shell_prepend"
external insert : [>`menushell] obj -> [>`widget] obj -> pos:int -> unit
= "ml_gtk_menu_shell_insert"
external deactivate : [>`menushell] obj -> unit
= "ml_gtk_menu_shell_deactivate"
end
module MenuBar = struct
let cast w : Gtk.menu_bar obj = try_cast w "GtkMenuBar"
module P = struct
let child_pack_direction : ([>`menubar],_) property =
{name="child-pack-direction"; conv=GtkEnums.Conv.pack_direction}
let pack_direction : ([>`menubar],_) property =
{name="pack-direction"; conv=GtkEnums.Conv.pack_direction}
let internal_padding : ([>`menubar],_) property =
{name="internal-padding"; conv=int}
let shadow_type : ([>`menubar],_) property =
{name="shadow-type"; conv=GtkEnums.Conv.shadow_type}
end
let create pl : Gtk.menu_bar obj = Object.make "GtkMenuBar" pl
end
module Menu = struct
let cast w : Gtk.menu obj = try_cast w "GtkMenu"
module P = struct
let tearoff_title : ([>`menu],_) property =
{name="tearoff-title"; conv=string}
end
module S = struct
open GtkSignal
let move_scroll =
{name="move_scroll"; classe=`menu; marshaller=fun f ->
marshal1 GtkEnums.Conv.scroll_type "GtkMenu::move_scroll" f}
end
let create pl : Gtk.menu obj = Object.make "GtkMenu" pl
external popup :
[>`menu] obj ->
[>`menushell] optobj ->
[>`menuitem] optobj -> button:int -> time:int32 -> unit
= "ml_gtk_menu_popup"
external popup_at :
[>`menu] obj ->
?button:int -> ?time:int32 ->
(x:int -> y:int -> pushed_in:bool -> int * int * bool) -> unit
= "ml_gtk_menu_popup_at"
external popdown : [>`menu] obj -> unit = "ml_gtk_menu_popdown"
external get_active : [>`menu] obj -> widget obj = "ml_gtk_menu_get_active"
external set_active : [>`menu] obj -> int -> unit
= "ml_gtk_menu_set_active"
external set_accel_group : [>`menu] obj -> accel_group -> unit
= "ml_gtk_menu_set_accel_group"
external get_accel_group : [>`menu] obj -> accel_group
= "ml_gtk_menu_get_accel_group"
external set_accel_path : [>`menu] obj -> string -> unit
= "ml_gtk_menu_set_accel_path"
external attach_to_widget : [>`menu] obj -> [>`widget] obj -> unit
= "ml_gtk_menu_attach_to_widget"
external get_attach_widget : [>`menu] obj -> widget obj
= "ml_gtk_menu_get_attach_widget"
external detach : [>`menu] obj -> unit = "ml_gtk_menu_detach"
end