Как работает встроенное редактирование и форматирование, используемое в code.google.com?

Недавно code.google.com добавил функцию для редактирования файла и синтаксического выделения его!

From насколько я понимаю, они добавили текстовое поле вместе с iframe, где текстовое поле - это место, где вы вводите контент, а iframe отображает форматирование. Текстовое поле перемещается вверх (например, на -10000 пикселей или что-то в этом роде), поэтому оно невидимо.

Я не понимаю, как им удается заставить содержимое iframe вести себя как текстовое поле. Например, если вы копируете и вставляете кучу кода, они немедленно форматируют его.

Это очень интересно. Кто-нибудь может немного объяснить, как это работает?