From cdcf5839899276b041b56b70798055f0d438bbdb Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 9 May 2018 23:28:04 +1000 Subject: Text_Editor key bindings hopefully fixed, yet more polishing --- src/fltk-devices-surfaces.ads | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/fltk-devices-surfaces.ads') diff --git a/src/fltk-devices-surfaces.ads b/src/fltk-devices-surfaces.ads index 418903e..24a2838 100644 --- a/src/fltk-devices-surfaces.ads +++ b/src/fltk-devices-surfaces.ads @@ -10,6 +10,9 @@ package FLTK.Devices.Surfaces is type Surface_Device is new Device with private; + type Surface_Device_Reference (Data : not null access Surface_Device'Class) is + limited null record with Implicit_Dereference => Data; + @@ -40,9 +43,17 @@ private (This : in out Surface_Device); + + Original_Surface : aliased Surface_Device; Current_Ptr : access Surface_Device'Class := Original_Surface'Access; + + + pragma Inline (Get_Current); + pragma Inline (Set_Current); + + end FLTK.Devices.Surfaces; -- cgit