The resulting image is shown in Figure 3. I used the JPG format, but the Dot tool supports other image formats as well, including GIF, PNG, and postscript.

在此处，我使用了 JPG 格式，但是 Dot 工具也可以支持其他格式，其中包括 GIF、PNG 和 postscript。

youdao

There is a zoom tool, and a GIF animator allows you to produce video of zoomed images.

提供一个缩放工具，以及一个允许你生成可缩放的视频图像的GIF动画编辑器。

youdao

While working at CompuServe in the 1980s, Wilhite created the compressed 8-bit GIF (or Graphics Interchange Format) that remains a popular tool for lo-fi viral sharing.

WSJ: 'House of Cards,' Frank Ocean top Webby Awards