Add default page editor to an admin settings page

Oh, this was quite easy.

I had used:

$args = array("textarea_name" => "wpet_options[txt]", 'default_editor' => 'text');
wp_editor( 'xxx', "wpet_options[txt]", $args );

But what I really wanted was:

$post = get_post( 117, 'OBJECT' );
wp_editor( $post, 'editor' );

This page explains more: http://code.tutsplus.com/articles/quick-tip-using-wp_editor–wp-27136