.. |
video-algorithms-generic_line.adb
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
video-algorithms-generic_line.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +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
|
+ More image types
|
2023-02-11 01:55:06 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
video-images-raster-indexed-generic_unbounded.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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.adb
|
* moving Indexed_Raster_Image towards Color_Map
|
2023-02-12 03:46:50 +03:00 |
video-images-raster-indexed.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
video-images-raster-rgb-generic_unbounded.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
video-images-raster.ads
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +03:00 |
video-images.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
video-integer_geometry.ads
|
+ Coordinate_Product type for extended range computations ans Ellipse cleanup
|
2023-05-22 12:30:45 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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
|
* rename Raster type to Pixel_Array
|
2023-07-29 22:24:23 +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.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +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 |