It is definitely using an ajax/java script to display the sample from the text box while applying the formatting from the menu. I will check with my development team if they have any scripts or have seen this somewhere.
Your friends over here at WebAssist! These Dreamweaver extensions will assist you in building unlimited, custom websites.
These out-of-the-box solutions provide you proven, tested applications that can be up and running now. Build a store, a gallery, or a web-based email solution.