Player for a screen-capturing plugin (included) which saves the screen output as a .gif animation.