opengl: Rename 'openGL.texturing' to 'openGL.texture_Set'.

2023-05-31 07:07:11 +10:00
parent a362e5aeff
commit af64e4ce3e
13 changed files with 123 additions and 90 deletions
--- a/3-mid/opengl/source/lean/geometry/opengl-geometry.ads
+++ b/3-mid/opengl/source/lean/geometry/opengl-geometry.ads
@@ -3,7 +3,7 @@ with
     openGL.Buffer,
     openGL.Program,
     openGL.Texture,
-     openGL.texturing;
+     openGL.texture_Set;

 limited
 with
@@ -103,7 +103,7 @@ is
 private
   use ada.Strings.unbounded;

-   type Textures is array (texturing.texture_Id) of openGL.Texture.Object;
+   type Textures is array (texture_Set.texture_Id) of openGL.Texture.Object;


   type Item is abstract tagged limited