| .. |
|
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
|
+ More image types
|
2023-02-11 01:55:06 +03:00 |
|
video-images-raster-generic_fixed.adb
|
* adjusting image types
|
2023-02-06 00:47:43 +03:00 |
|
video-images-raster-generic_fixed.ads
|
+! Change Interval and Box behaviour
|
2023-03-14 01:51:45 +03:00 |
|
video-images-raster-generic_unbounded.adb
|
+! Change Interval and Box behaviour
|
2023-03-14 01:51:45 +03:00 |
|
video-images-raster-generic_unbounded.ads
|
* Unbounded Images use Raster Holders
|
2023-02-13 20:19:45 +03:00 |
|
video-images-raster-indexed-fixed.ads
|
* adjusting image types
|
2023-02-06 00:47:43 +03:00 |
|
video-images-raster-indexed-generic_fixed.ads
|
>refactor< unbounded images
|
2023-02-13 03:25:22 +03:00 |
|
video-images-raster-indexed-generic_unbounded.ads
|
>refactor< unbounded images
|
2023-02-13 03:25:22 +03:00 |
|
video-images-raster-indexed-unbounded.ads
|
+ More image types
|
2023-02-11 01:55:06 +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
|
* refactoring of images
|
2023-02-13 01:15:59 +03:00 |
|
video-images-raster-rgb-fixed.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-images-raster-rgb-generic_fixed.ads
|
* refactoring fixed images
|
2023-02-13 02:29:44 +03:00 |
|
video-images-raster-rgb-generic_unbounded.ads
|
>refactor< unbounded images
|
2023-02-13 03:43:58 +03:00 |
|
video-images-raster-rgb-unbounded.ads
|
+ More image types
|
2023-02-11 01:55:06 +03:00 |
|
video-images-raster-rgb.ads
|
* adjusting image types
|
2023-02-06 00:47:43 +03:00 |
|
video-images-raster.ads
|
* refactoring fixed images
|
2023-02-13 02:29:44 +03:00 |
|
video-images.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-integer_geometry.ads
|
+! Change Interval and Box behaviour
|
2023-03-14 01:51:45 +03:00 |
|
video-rasters-argb.ads
|
+ More image types
|
2023-02-11 01:55:06 +03:00 |
|
video-rasters-formats.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-rasters-generic_blits-masked.adb
|
+! Change Interval and Box behaviour
|
2023-03-14 01:51:45 +03:00 |
|
video-rasters-generic_blits-masked.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-rasters-generic_blits.adb
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-generic_blits.ads
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-generic_holders.adb
|
+! Change Interval and Box behaviour
|
2023-03-14 01:51:45 +03:00 |
|
video-rasters-generic_holders.ads
|
* Unbounded Images use Raster Holders
|
2023-02-13 20:19:45 +03:00 |
|
video-rasters-generic_renderers-color.adb
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-generic_renderers-color.ads
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-generic_renderers.adb
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-generic_renderers.ads
|
+ Ellipse rendering (orthogonal)
|
2023-05-22 10:59:18 +03:00 |
|
video-rasters-indexed.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-rasters-rgb-renderers.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +03:00 |
|
video-rasters-rgb.ads
|
+ More image types
|
2023-02-11 01:55:06 +03:00 |
|
video-rasters.ads
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +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
|
* some reorganizing of directories
|
2023-02-03 07:09:12 +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 |
