A simple textarea jQuery widget which adds support for auto indent, better undo/redo, a custom menu, and just better behavior overall.