diff options
Diffstat (limited to 'program/js/tiny_mce/themes/advanced/jscripts/source_editor.js')
| -rw-r--r-- | program/js/tiny_mce/themes/advanced/jscripts/source_editor.js | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/program/js/tiny_mce/themes/advanced/jscripts/source_editor.js b/program/js/tiny_mce/themes/advanced/jscripts/source_editor.js index 0eb5c752a..d0d517d45 100644 --- a/program/js/tiny_mce/themes/advanced/jscripts/source_editor.js +++ b/program/js/tiny_mce/themes/advanced/jscripts/source_editor.js @@ -25,7 +25,7 @@ function setWrap(val) { 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 @@ function resizeInputs() { 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';
}
-
|