| .. |
|
video-algorithms-generic_ellipse.adb
|
+ Ellipse algorithm
|
2023-08-03 00:06:32 +03:00 |
|
video-algorithms-generic_ellipse.ads
|
+ Ellipse algorithm
|
2023-08-03 00:06:32 +03:00 |
|
video-algorithms-generic_line.adb
|
* make Generic_Line buildable with No_Implicit_Dynamic_Code
|
2023-08-01 23:17:05 +03:00 |
|
video-algorithms-generic_line.ads
|
* Raster can be indefinite
|
2023-08-03 00:12:00 +03:00 |
|
video-algorithms.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-colors-maps-fixed.adb
|
* moving Indexed_Raster_Image towards Color_Map
|
2023-02-12 03:46:50 +03:00 |
|
video-colors-maps-fixed.ads
|
* moving Indexed_Raster_Image towards Color_Map
|
2023-02-12 03:46:50 +03:00 |
|
video-colors-maps-generic_fixed.adb
|
+ more color maps
|
2023-02-13 01:15:44 +03:00 |
|
video-colors-maps-generic_fixed.ads
|
+ more color maps
|
2023-02-13 01:15:44 +03:00 |
|
video-colors-maps-shared_palettes.ads
|
+ more color maps
|
2023-02-13 01:15:44 +03:00 |
|
video-colors-maps.ads
|
* moving Indexed_Raster_Image towards Color_Map
|
2023-02-12 03:46:50 +03:00 |
|
video-colors-palettes.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-colors.adb
|
% bug in color conversion
|
2023-08-02 15:21:10 +03:00 |
|
video-colors.ads
|
+ More image types
|
2023-02-11 01:55:06 +03:00 |
|
video-display-modes.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-display.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-images-raster-argb.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-generic_fixed.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-generic_fixed.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-generic_unbounded.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-generic_unbounded.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-indexed-fixed.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-indexed-generic_fixed.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-indexed-generic_unbounded.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-indexed-unbounded.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-indexed.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-rgb-fixed.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-rgb-generic_fixed.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-rgb-generic_unbounded.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster-rgb-unbounded.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-images-raster-rgb.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images-raster.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-images.ads
|
* Some cleanup for Image types
|
2023-08-03 18:55:45 +03:00 |
|
video-integer_geometry.ads
|
+ Box operations
|
2023-08-03 00:04:58 +03:00 |
|
video-pixels-argb.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-formats.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_blits-masked.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_blits-masked.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_blits.adb
|
+ Ellipse algorithm
|
2023-08-03 00:06:32 +03:00 |
|
video-pixels-generic_blits.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_holders.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_holders.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_renderers-color.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_renderers-color.ads
|
- SDLAda bindings + Circle and Ellipse to main scene
|
2023-08-03 14:06:29 +03:00 |
|
video-pixels-generic_renderers.adb
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-generic_renderers.ads
|
- SDLAda bindings + Circle and Ellipse to main scene
|
2023-08-03 14:06:29 +03:00 |
|
video-pixels-indexed.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-rgb-renderers.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels-rgb.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-pixels.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-renderables-color.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-renderables-generic_sprite.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-renderables-image.ads
|
+ Image Renderables
|
2023-08-03 18:57:05 +03:00 |
|
video-renderables.ads
|
- SDLAda bindings + Circle and Ellipse to main scene
|
2023-08-03 14:06:29 +03:00 |
|
video-texts-fonts-raster-glyph_arrays.ads
|
+ simplest font storage type introduced
|
2023-08-02 19:29:37 +03:00 |
|
video-texts-fonts-raster.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
|
video-texts-fonts.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-texts.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
