BUG 7448 Adjustment in the height dimension of the javascript editor.

This commit is contained in:
Hector Cortez
2011-10-31 18:18:19 -04:00
parent 776bd1ce8d
commit b0b62c523d
2 changed files with 3 additions and 3 deletions

View File

@@ -259,7 +259,7 @@ var dynaformEditor={
clientWinSize = getClientWindowSize();
startJSCodePress();
jsEditor = CodeMirror.fromTextArea('form[JS]', {
height: (clientWinSize.height - 120) + "px",
height: (clientWinSize.height - 140) + "px",
width: (_BROWSER.name == 'msie' ? '100%' : '98%'),
parserfile: ["tokenizejavascript.js", "parsejavascript.js"],
stylesheet: ["css/jscolors.css"],