--- tinymce.module	Thu Apr 21 21:39:43 2005
+++ tinymce.module	Thu Apr 21 21:41:24 2005
@@ -17,6 +17,8 @@
   $items = array();
 
   if (!$may_cache) {
+	// prevent output of not needed js code
+    if( !user_access("access tinymce") ) return $items;
     $enable  = t('enable rich-text');
     $disable = t('disable rich-text');