blob: ec2c979ede74972d474f8377aeb5e920fd6ab968 (
plain)
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
|
private with Interfaces;
private with System;
package FLTK.Widgets.Menus is
type Menu is new Widget with private;
type Menu_Cursor (Data : access Menu'Class) is limited null record
with Implicit_Dereference => Data;
type Menu_Item is tagged limited private;
type Index is new Positive;
type Menu_Flag is private;
function "+" (Left, Right : in Menu_Flag) return Menu_Flag;
Flag_Normal : constant Menu_Flag;
Flag_Inactive : constant Menu_Flag;
Flag_Toggle : constant Menu_Flag;
Flag_Value : constant Menu_Flag;
Flag_Radio : constant Menu_Flag;
Flag_Invisible : constant Menu_Flag;
Flag_Submenu : constant Menu_Flag;
Flag_Divider : constant Menu_Flag;
function Create
(X, Y, W, H : in Integer;
Text : in String)
return Menu;
procedure Add
(This : in out Menu;
Text : in String;
Action : in Widget_Callback := null;
Shortcut : in Shortcut_Key := No_Key;
Flags : in Menu_Flag := Flag_Normal);
function Find_Item
(This : in Menu'Class;
Name : in String)
return Menu_Item;
function Chosen
(This : in Menu'Class)
return Menu_Item;
function Value
(Item : in Menu_Item)
return Boolean;
procedure Activate
(Item : in Menu_Item);
procedure Deactivate
(Item : in Menu_Item);
procedure Draw
(This : in out Menu) is null;
function Handle
(This : in out Menu;
Event : in Event_Kind)
return Event_Outcome;
private
type Menu is new Widget with null record;
procedure Item_Hook (M, U : in System.Address);
pragma Convention (C, Item_Hook);
overriding procedure Finalize
(This : in out Menu);
type Menu_Item is tagged limited
record
Void_Ptr : System.Address;
end record;
type Menu_Flag is new Interfaces.Unsigned_8;
Flag_Normal : constant Menu_Flag := 2#00000000#;
Flag_Inactive : constant Menu_Flag := 2#00000001#;
Flag_Toggle : constant Menu_Flag := 2#00000010#;
Flag_Value : constant Menu_Flag := 2#00000100#;
Flag_Radio : constant Menu_Flag := 2#00001000#;
Flag_Invisible : constant Menu_Flag := 2#00010000#;
-- Flag_Submenu_Pointer unlikely to be used
Flag_Submenu : constant Menu_Flag := 2#01000000#;
Flag_Divider : constant Menu_Flag := 2#10000000#;
end FLTK.Widgets.Menus;
|
