In the current version of Snipping Tool, the only GIFs you can export are static, just like a JPG, PNG, or BMP file. However, ...