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。
There is a zoom tool, and a GIF animator allows you to produce video of zoomed images.
提供一个缩放工具，以及一个允许你生成可缩放的视频图像的GIF动画编辑器。
There is a zoom tool, and a GIF animator allows you to produce video of zoomed images.
提供一个缩放工具，以及一个允许你生成可缩放的视频图像的GIF动画编辑器。
应用推荐