From 617353265e4dc4e0280b565f2cd9e7749ce52bfd Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 17 Apr 2018 16:00:26 +1000 Subject: More polishing --- src/fltk-widgets-inputs-integer.ads | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/fltk-widgets-inputs-integer.ads') diff --git a/src/fltk-widgets-inputs-integer.ads b/src/fltk-widgets-inputs-integer.ads index bde356c..f5e74f6 100644 --- a/src/fltk-widgets-inputs-integer.ads +++ b/src/fltk-widgets-inputs-integer.ads @@ -5,6 +5,9 @@ package FLTK.Widgets.Inputs.Integer is type Integer_Input is new Input with private; + type Integer_Input_Reference (Data : not null access Integer_Input'Class) is + limited null record with Implicit_Dereference => Data; + @@ -45,5 +48,14 @@ private (This : in out Integer_Input); + + + pragma Inline (Get_Value); + + + pragma Inline (Draw); + pragma Inline (Handle); + + end FLTK.Widgets.Inputs.Integer; -- cgit