I believe this is the TinyMCE product, but the shortcut keys combination to bring the HTML editor into focus does not work.