diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-01-13 15:47:35 +1300 | 
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-01-13 15:47:35 +1300 | 
| commit | c300ec0f456da533291b10db57d27a9c3bb8de9f (patch) | |
| tree | 006a4575cf5cbd76b437129ff5fd9ec5c48d09ea /src/fltk-widgets-groups.ads | |
| parent | c1005ae98d1c07b7e9f14277f99dc1a6c7d42646 (diff) | |
Filled holes in Group binding API
Diffstat (limited to 'src/fltk-widgets-groups.ads')
| -rw-r--r-- | src/fltk-widgets-groups.ads | 50 | 
1 files changed, 43 insertions, 7 deletions
| diff --git a/src/fltk-widgets-groups.ads b/src/fltk-widgets-groups.ads index 9212085..960c7b6 100644 --- a/src/fltk-widgets-groups.ads +++ b/src/fltk-widgets-groups.ads @@ -87,7 +87,8 @@ package FLTK.Widgets.Groups is      function Child             (This  : in Group;              Place : in Index) -        return Widget_Reference; +        return Widget_Reference +    with Pre => This.Has_Child (Place);      function Child             (This  : in Group; @@ -127,6 +128,10 @@ package FLTK.Widgets.Groups is +    procedure Add_Resizable +           (This : in out Group; +            Item : in out Widget'Class); +      function Get_Resizable             (This : in Group)          return access Widget'Class; @@ -135,9 +140,13 @@ package FLTK.Widgets.Groups is             (This : in out Group;              Item : in     Widget'Class); -    procedure Reset_Initial_Sizes +    procedure Reset_Sizes             (This : in out Group); +    procedure Resize +           (This       : in out Group; +            X, Y, W, H : in     Integer); + @@ -147,12 +156,33 @@ package FLTK.Widgets.Groups is      procedure Set_Current             (To : in Group'Class); +    procedure Begin_Current +           (This : in out Group); + +    procedure End_Current +           (This : in out Group); +      procedure Draw             (This : in out Group); +    procedure Draw_Child +           (This : in out Group; +            Item : in out Widget'Class); + +    procedure Draw_Children +           (This : in out Group); + +    procedure Draw_Outside_Label +           (This : in out Group; +            Item : in out Widget'Class); + +    procedure Update_Child +           (This : in out Group; +            Item : in out Widget'Class); +      function Handle             (This  : in out Group;              Event : in     Event_Kind) @@ -222,17 +252,23 @@ private      pragma Inline (Iterate); -    --  pragma Inline (Get_Clip_Mode); -    --  pragma Inline (Set_Clip_Mode); +    pragma Inline (Get_Clip_Mode); +    pragma Inline (Set_Clip_Mode); -    pragma Inline (Get_Resizable); +    pragma Inline (Add_Resizable);      pragma Inline (Set_Resizable); -    pragma Inline (Reset_Initial_Sizes); +    pragma Inline (Reset_Sizes); +    pragma Inline (Resize); -    pragma Inline (Get_Current);      pragma Inline (Set_Current); +    pragma Inline (Begin_Current); +    pragma Inline (End_Current);      pragma Inline (Draw); +    pragma Inline (Draw_Child); +    pragma Inline (Draw_Children); +    pragma Inline (Draw_Outside_Label); +    pragma Inline (Update_Child);      pragma Inline (Handle); | 
