From e324057cbd9b02704172bb5db4163f4a0c276288 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 12 Jan 2025 15:11:40 +1300 Subject: Closed a few gaps in the APIs of Window derivatives --- src/fltk-widgets-groups-windows-opengl.ads | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/fltk-widgets-groups-windows-opengl.ads') diff --git a/src/fltk-widgets-groups-windows-opengl.ads b/src/fltk-widgets-groups-windows-opengl.ads index 44a7647..2582bb1 100644 --- a/src/fltk-widgets-groups-windows-opengl.ads +++ b/src/fltk-widgets-groups-windows-opengl.ads @@ -158,6 +158,9 @@ package FLTK.Widgets.Groups.Windows.OpenGL is (This : in out GL_Window; Value : in Boolean); + procedure Invalidate + (This : in out GL_Window); + procedure Make_Current (This : in out GL_Window); @@ -251,6 +254,7 @@ private pragma Inline (Set_Context_Valid); pragma Inline (Get_Valid); pragma Inline (Set_Valid); + pragma Inline (Invalidate); pragma Inline (Make_Current); pragma Inline (Make_Overlay_Current); -- cgit