thomascube
2007-11-25 82cd5cdbfc595266341e40d4ad5536c54d00b49c
program/js/tiny_mce/themes/advanced/jscripts/source_editor.js
@@ -25,7 +25,7 @@
   s.wrap = val;
   if (tinyMCE.isGecko) {
   if (tinyMCE.isGecko || tinyMCE.isOpera) {
      var v = s.value;
      var n = s.cloneNode(false);
      n.setAttribute("wrap", val);
@@ -47,14 +47,13 @@
   var el = document.getElementById('htmlSource');
   if (!tinyMCE.isMSIE) {
       wHeight = self.innerHeight-80;
       wWidth = self.innerWidth-16;
       wHeight = self.innerHeight - 60;
       wWidth = self.innerWidth - 16;
   } else {
       wHeight = document.body.clientHeight - 80;
       wHeight = document.body.clientHeight - 60;
       wWidth = document.body.clientWidth - 16;
   }
   el.style.height = Math.abs(wHeight) + 'px';
   el.style.width  = Math.abs(wWidth) + 'px';
}