Could someone recommend me a tool to make gifs of my desktop?

Our level editor is coming along nicely, which is going to make creating these puzzles a lot easier and will allow you to share you own headscratchers with your friends!

Also note the fancy shader that replaced the static background. 😀