blob: abf5d9f8e4cf1d34756956e3f6303b3d81ee07a8 (
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
  | 
package FLTK.Widgets.Buttons.Light.Check is
    type Check_Button is new Light_Button with private;
    type Check_Button_Reference (Data : not null access Check_Button'Class) is
        limited null record with Implicit_Dereference => Data;
    package Forge is
        function Create
               (X, Y, W, H : in Integer;
                Text       : in String := "")
            return Check_Button;
    end Forge;
    procedure Draw
           (This : in out Check_Button);
    function Handle
           (This  : in out Check_Button;
            Event : in     Event_Kind)
        return Event_Outcome;
private
    type Check_Button is new Light_Button with null record;
    overriding procedure Finalize
           (This : in out Check_Button);
    pragma Inline (Draw);
    pragma Inline (Handle);
end FLTK.Widgets.Buttons.Light.Check;
  |