diff options
Diffstat (limited to 'src/fltk-devices-graphics.ads')
-rw-r--r-- | src/fltk-devices-graphics.ads | 19 |
1 files changed, 19 insertions, 0 deletions
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; |