Bitmap/PPM conversion through a pipe: Difference between revisions
Content added Content deleted
m (→{{header|Wren}}: Changed to Wren S/H) |
|||
Line 694: | Line 694: | ||
We can now use this plug-in in the following script which calls ''ImageMagick'' to convert the ''output.ppm'' file to a ''jpg'' file and then loads the latter and displays it. |
We can now use this plug-in in the following script which calls ''ImageMagick'' to convert the ''output.ppm'' file to a ''jpg'' file and then loads the latter and displays it. |
||
<syntaxhighlight lang=" |
<syntaxhighlight lang="wren">import "graphics" for Canvas, ImageData |
||
import "dome" for Window |
import "dome" for Window |
||
import "plugin" for Plugin |
import "plugin" for Plugin |
||
Line 722: | Line 722: | ||
var Game = ConvertPPM.new("output.ppm", "output_piped.jpg", 350, 350)</syntaxhighlight> |
var Game = ConvertPPM.new("output.ppm", "output_piped.jpg", 350, 350)</syntaxhighlight> |
||
=={{header|zkl}}== |
=={{header|zkl}}== |
||
{{trans|C}} |
{{trans|C}} |