This is the patch that changes the Safari detection slightly so that the Rich text HTML bar is hidden from the Safari browser on Mac.
--- richtext.ori.js 2005-07-12 17:17:35.666824819 +0000 +++ richtext.js 2005-07-12 17:04:05.374431908 +0000 @@ -11,6 +11,7 @@ var isIE; var isGecko; +var isSafari; var imagesPath; var includesPath; @@ -25,6 +26,9 @@ var ua = navigator.userAgent.toLowerCase(); isIE = ((ua.indexOf("msie") != -1) && (ua.indexOf("opera") == -1) && (ua.indexOf("webtv") == -1)); isGecko = (ua.indexOf("gecko") != -1 && ua.indexOf("safari") == -1); + isSafari = ua.indexOf("safari") != -1; + + if (isSafari) isRichText = false; //set paths vars imagesPath = imgPath;