My Chrome install on Windows has the same thing. I push ctrl+shift+c to load the developer tools, and click on console and it's a very similar tool to what he was using.