diff options
Diffstat (limited to 'src/fltk-widgets-groups-windows-double.ads')
| -rw-r--r-- | src/fltk-widgets-groups-windows-double.ads | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/fltk-widgets-groups-windows-double.ads b/src/fltk-widgets-groups-windows-double.ads index 8f566b7..216419d 100644 --- a/src/fltk-widgets-groups-windows-double.ads +++ b/src/fltk-widgets-groups-windows-double.ads @@ -5,6 +5,8 @@ package FLTK.Widgets.Groups.Windows.Double is type Double_Window is new Window with private; + type Double_Window_Reference (Data : not null access Double_Window'Class) is + limited null record with Implicit_Dereference => Data; @@ -54,5 +56,16 @@ private (This : in out Double_Window); + + + pragma Inline (Show); + pragma Inline (Hide); + pragma Inline (Flush); + + + pragma Inline (Draw); + pragma Inline (Handle); + + end FLTK.Widgets.Groups.Windows.Double; |