diff options
author | Jed Barber <jjbarber@y7mail.com> | 2018-04-20 02:24:26 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2018-04-20 02:24:26 +1000 |
commit | 5c1f074e4db5d2e701011c60cc3e6f486fb2ecf4 (patch) | |
tree | 64a2d0ba7710174705b008112b73f39bf4324de0 /src/fltk-widgets-valuators-counters.ads | |
parent | ae82edc42a3c93c400775b314b65a8662f181b67 (diff) |
Polishing some Valuators
Diffstat (limited to 'src/fltk-widgets-valuators-counters.ads')
-rw-r--r-- | src/fltk-widgets-valuators-counters.ads | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/fltk-widgets-valuators-counters.ads b/src/fltk-widgets-valuators-counters.ads index c7431d1..2e16169 100644 --- a/src/fltk-widgets-valuators-counters.ads +++ b/src/fltk-widgets-valuators-counters.ads @@ -5,6 +5,9 @@ package FLTK.Widgets.Valuators.Counters is type Counter is new Valuator with private; + type Counter_Reference (Data : not null access Counter'Class) is + limited null record with Implicit_Dereference => Data; + @@ -88,5 +91,25 @@ private (This : in out Counter); + + + pragma Inline (Get_Step); + pragma Inline (Set_Step); + pragma Inline (Get_Long_Step); + pragma Inline (Set_Long_Step); + + + pragma Inline (Get_Text_Color); + pragma Inline (Set_Text_Color); + pragma Inline (Get_Text_Font); + pragma Inline (Set_Text_Font); + pragma Inline (Get_Text_Size); + pragma Inline (Set_Text_Size); + + + pragma Inline (Draw); + pragma Inline (Handle); + + end FLTK.Widgets.Valuators.Counters; |