[Oompa]

I used Quicktime to do a screen recording before taking that to GifBrewery to make the gif.

[potch]

I do this too- works great and GifBrewery is a nice tradeoff of quality and usability.