We currently use an textarea with some rather hacky javascript. Providing an editor with proper source highlighting would be an upgrade.