What plugin is this

I was looking at videos to help me build my site and come across this one http://www.screenr.com/IdWH you will notice the use clicks a letter k to get more options what plugin is this.

Thanks