Bitmap/PPM conversion through a pipe: Difference between revisions
Bitmap/PPM conversion through a pipe (view source)
Revision as of 10:38, 8 November 2023
, 6 months ago→{{header|Wren}}: Changed to Wren S/H
m (→{{header|Wren}}: Changed to Wren S/H) |
|||
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.
<syntaxhighlight lang="
import "dome" for Window
import "plugin" for Plugin
Line 722:
var Game = ConvertPPM.new("output.ppm", "output_piped.jpg", 350, 350)</syntaxhighlight>
=={{header|zkl}}==
{{trans|C}}
| |||