改变gif动画大小是一款专门用来缩小GIF格式的动画图片的，使用软件缩放所得到的动画图片完全保留原始动画信息，只将其进行缩放，不改变图片的质量。