From b6667dbbb37bacaed6013e71a784514e8dc479f5 Mon Sep 17 00:00:00 2001
From: Ryan Boren <ryan@git.wordpress.org>
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: https://develop.svn.wordpress.org/trunk@5125 602fd350-edb4-49c9-b593-d223f7449a82
---
 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 />