The gif maker is a useful tool for recording and editing videos.