Comment by glomph

https://code.google.com/p/sharex/ makes those types of gifs very easy on windows. It can also do a load of other cool stuff.