From 5160c44c9d82f1b27cc2193dcf0549393920c5cd Mon Sep 17 00:00:00 2001
From: ryan <ryan@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Wed, 28 Mar 2007 16:10:48 +0000
Subject: [PATCH] Add rich editing checkbox to user-edit so that the setting
 isn't stomped.   Props kipit. fixes #4036

git-svn-id: http://svn.automattic.com/wordpress/trunk@5125 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-admin/user-edit.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/wp-admin/user-edit.php b/wp-admin/user-edit.php
index b6ab11992a..2b10087e76 100644
--- a/wp-admin/user-edit.php
+++ b/wp-admin/user-edit.php
@@ -83,6 +83,10 @@ include ('admin-header.php');
 <input type="hidden" name="checkuser_id" value="<?php echo $user_ID ?>" />
 </p>
 
+<p><label for="rich_editing"><input name="rich_editing" type="checkbox" id="rich_editing" value="true" <?php checked('true', $profileuser->rich_editing); ?> /> <?php _e('Use the visual editor when writing'); ?></label></p>
+
+<p class="submit"><input type="submit" value="<?php _e('Update User &raquo;'); ?>" name="submit" /></p>
+
 <fieldset>
 <legend><?php _e('Name'); ?></legend>
 <p><label><?php _e('Username: (no editing)'); ?><br />