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-graphics.ads | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'src/fltk-devices-graphics.ads') diff --git a/src/fltk-devices-graphics.ads b/src/fltk-devices-graphics.ads index b407da4..abb6c5f 100644 --- a/src/fltk-devices-graphics.ads +++ b/src/fltk-devices-graphics.ads @@ -10,6 +10,9 @@ package FLTK.Devices.Graphics is type Graphics_Driver is new Device with private; + type Graphics_Driver_Reference (Data : not null access Graphics_Driver'Class) is + limited null record with Implicit_Dereference => Data; + @@ -66,5 +69,21 @@ private type Graphics_Driver is new Device with null record; + + + pragma Inline (Get_Color); + + + pragma Inline (Get_Text_Descent); + pragma Inline (Get_Line_Height); + pragma Inline (Get_Width); + pragma Inline (Get_Font_Kind); + pragma Inline (Get_Font_Size); + pragma Inline (Set_Font); + + + pragma Inline (Draw_Scaled_Image); + + end FLTK.Devices.Graphics; -- cgit