blob: 7c732831c3c9af4eca2479e0460fe85c55f5fccf (
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
|
package FLTK.Widgets.Groups.Tabbed is
type Tabbed_Group is new Group with private;
type Tabbed_Group_Reference (Data : not null access Tabbed_Group'Class) is
limited null record with Implicit_Dereference => Data;
package Forge is
function Create
(X, Y, W, H : in Integer;
Text : in String := "")
return Tabbed_Group;
end Forge;
procedure Get_Client_Area
(This : in Tabbed_Group;
Tab_Height : in Natural;
X, Y, W, H : out Integer);
function Get_Push
(This : in Tabbed_Group)
return access Widget'Class;
procedure Set_Push
(This : in out Tabbed_Group;
Item : in out Widget'Class);
function Get_Visible
(This : in Tabbed_Group)
return access Widget'Class;
procedure Set_Visible
(This : in out Tabbed_Group;
Item : in out Widget'Class);
function Get_Which
(This : in Tabbed_Group;
Event_X, Event_Y : in Integer)
return access Widget'Class;
procedure Draw
(This : in out Tabbed_Group);
function Handle
(This : in out Tabbed_Group;
Event : in Event_Kind)
return Event_Outcome;
private
type Tabbed_Group is new Group with null record;
overriding procedure Finalize
(This : in out Tabbed_Group);
pragma Inline (Get_Client_Area);
pragma Inline (Get_Push);
pragma Inline (Set_Push);
pragma Inline (Get_Visible);
pragma Inline (Set_Visible);
pragma Inline (Get_Which);
pragma Inline (Draw);
pragma Inline (Handle);
end FLTK.Widgets.Groups.Tabbed;
|