From e6aee8f5c6aae4ca2e1283917f7f1a1c4bf5b93c Mon Sep 17 00:00:00 2001
From: Matt Mullenweg <matt@git.wordpress.org>
Date: Thu, 18 Aug 2005 01:51:59 +0000
Subject: [PATCH] Clap on Clap off

git-svn-id: https://develop.svn.wordpress.org/trunk@2789 602fd350-edb4-49c9-b593-d223f7449a82
---
 wp-admin/admin-header.php       | 2 +-
 wp-admin/edit-form-advanced.php | 2 +-
 wp-admin/edit-form-comment.php  | 2 +-
 wp-admin/edit-page-form.php     | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/wp-admin/admin-header.php b/wp-admin/admin-header.php
index affa0bbc26..f991c4cca3 100644
--- a/wp-admin/admin-header.php
+++ b/wp-admin/admin-header.php
@@ -77,7 +77,7 @@ addLoadEvent(blurry);
 </script>
 <script type="text/javascript" src="fat.js"></script>
 <?php if ( isset( $editing ) ) : ?>
-<?php if ( get_option('rich_editing') ) :?>
+<?php if ( 'true' == get_user_option('rich_editing') ) :?>
 <script type="text/javascript" src="tinymce/tiny_mce_src.js"></script>
 <script type="text/javascript">
 tinyMCE.init({
diff --git a/wp-admin/edit-form-advanced.php b/wp-admin/edit-form-advanced.php
index 9e1d506a2d..405f8b74c1 100644
--- a/wp-admin/edit-form-advanced.php
+++ b/wp-admin/edit-form-advanced.php
@@ -130,7 +130,7 @@ endforeach;
 
 <fieldset id="postdiv">
 <legend><?php _e('Post') ?></legend>
-<?php if ( !get_option('rich_editing') ) : ?>
+<?php if ( 'true' != get_user_option('rich_editing') ) : ?>
 <?php the_quicktags(); ?>
 <script type="text/javascript">
 <!--
diff --git a/wp-admin/edit-form-comment.php b/wp-admin/edit-form-comment.php
index bda0a7a75d..33a1dba655 100644
--- a/wp-admin/edit-form-comment.php
+++ b/wp-admin/edit-form-comment.php
@@ -37,7 +37,7 @@ addLoadEvent(focusit);
 
 <fieldset style="clear: both;">
         <legend><?php _e('Comment') ?></legend>
-<?php if ( !get_option('rich_editing') ) : ?>
+<?php if ( 'true' != get_user_option('rich_editing') ) : ?>
 <?php the_quicktags(); ?>
 <script type="text/javascript">
 <!--
diff --git a/wp-admin/edit-page-form.php b/wp-admin/edit-page-form.php
index 42c0f81740..ad6d75dd29 100644
--- a/wp-admin/edit-page-form.php
+++ b/wp-admin/edit-page-form.php
@@ -117,7 +117,7 @@ endforeach;
 
 <fieldset id="postdiv">
     <legend><?php _e('Page Content') ?></legend>
-<?php if ( !get_option('rich_editing') ) : ?>
+<?php if ( 'true' != get_user_option('rich_editing') ) : ?>
 <?php the_quicktags(); ?>
 <script type="text/javascript">
 <!--