I thought it was http://www.liveeditor.com/, but I was wrong. It is called "Live Editor" or some other derivative.

It was marketed as "click and edit like in Firebug".

Thanks!