![]() Marketplace:
|
ExportExportExport... is used to generate output suitable for other applications with a variety of formats supported. The format is either specified using the option menu or else determined by the filename extension:
Export to the common gif format is not supported because of licensing restrictions placed on users of applications that produce gif images. The use of gif images is not encouraged in the free software community because of this restriction. The png format is a superior replacement.
|
Marketplace: |
||||||||||||||||||||||
| Facts: " Beware of bugs in the above code; I have only proved it correct, not tried it. " | ||||||||||||||||||||||||
Tuesday 6 January 2009 14:10:14 1231251014