Removing right empty space from trigger editor.

gulliver/js/codemirror/mode/php/php.js

@@ -81,7 +81,6 @@
         state.pending = null;
         var cur = stream.current(), openPHP = cur.search(/<\?/);
         if (openPHP != -1) {
-          alert("openPHP");   
           if (style == "string" && /\"$/.test(cur) && !/\?>/.test(cur)) state.pending = '"';
           else state.pending = {end: stream.pos, style: style};
           stream.backUp(cur.length - openPHP);

workflow/engine/xmlform/triggers/triggerCopy.xml

@@ -93,7 +93,7 @@
 	    indentWithTabs: false,
 	    readOnly: true
 	});
-	triggerEditor.setSize(350,200);
+	triggerEditor.setSize(400,200);
     
     function cancel()
     {

workflow/engine/xmlform/triggers/triggersCustom.xml

@@ -52,7 +52,7 @@ var triggerEditor = CodeMirror.fromTextArea(document.getElementById("form[TRI_WE
     indentWithTabs: false,
     extraKeys: {"Ctrl-Space": "autocomplete"}
 });
-triggerEditor.setSize(400,250);
+triggerEditor.setSize(450,245);
 
 getField('TRI_TITLE').form.onsubmit = function() {return false;};
 var _oVarsPanel_;

workflow/engine/xmlform/triggers/triggers_Edit.xml

@@ -43,7 +43,7 @@ var triggerEditor = CodeMirror.fromTextArea(document.getElementById("form[TRI_WE
     indentWithTabs: false,
     extraKeys: {"Ctrl-Space": "autocomplete"}
 });
-triggerEditor.setSize(800,400);
+triggerEditor.setSize(890, 440);
 
 var _oVarsPanel_;
 var showDynaformsFormVars = function(sFieldName, sAjaxServer, sProcess, sSymbol) {