diff options
author | Jed Barber <jjbarber@y7mail.com> | 2018-04-17 16:00:26 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2018-04-17 16:00:26 +1000 |
commit | 617353265e4dc4e0280b565f2cd9e7749ce52bfd (patch) | |
tree | b03cbfad780fb426ef42660ff6e112cdcaeda9f4 /src/fltk-widgets-inputs-float.ads | |
parent | a4b6a06f372923fb38ae4d3c7e0429ce93ea7748 (diff) |
More polishing
Diffstat (limited to 'src/fltk-widgets-inputs-float.ads')
-rw-r--r-- | src/fltk-widgets-inputs-float.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/fltk-widgets-inputs-float.ads b/src/fltk-widgets-inputs-float.ads index 1df1a98..39a58b3 100644 --- a/src/fltk-widgets-inputs-float.ads +++ b/src/fltk-widgets-inputs-float.ads @@ -5,6 +5,9 @@ package FLTK.Widgets.Inputs.Float is type Float_Input is new Input with private; + type Float_Input_Reference (Data : not null access Float_Input'Class) is + limited null record with Implicit_Dereference => Data; + @@ -45,5 +48,14 @@ private (This : in out Float_Input); + + + pragma Inline (Get_Value); + + + pragma Inline (Draw); + pragma Inline (Handle); + + end FLTK.Widgets.Inputs.Float; |