Commit 679375de63118b07bf4c71798f9081ece3ee19e4

  • avatar
  • admin
  • Mon Apr 09 12:27:08 IST 2012
Init was not defined in some cases, due to not adding of proper files
  
113113 script_edit.set("src", conf.APPURL[0] + "/server/wsgi/pageEditor.js")
114114 script_edit.set("type","text/javascript")
115115
116 jit_script = root.makeelement('script')
117 root.body.append(jit_script)
118 jit_script.set("src", conf.APPURL[0] + "/server/jit.js")
119 jit_script.set("type", "text/javascript")
120
121 tree_script = root.makeelement('script')
122 root.body.append(tree_script)
123 tree_script.set("src", conf.APPURL[0] + "/server/tree.js")
124 tree_script.set("type", "text/javascript")
116125
117126 ui_css = root.makeelement("link")
118127 ui_css.set("rel", "stylesheet");
205205 script_edit.set("src", conf.APPURL[0] + "/server/wsgi/pageEditor.js")
206206 script_edit.set("type","text/javascript")
207207 root.body.append(script_edit)
208
209 jit_script = root.makeelement('script')
210 root.body.append(jit_script)
211 jit_script.set("src", conf.APPURL[0] + "/server/jit.js")
212 jit_script.set("type", "text/javascript")
213
214 tree_script = root.makeelement('script')
215 root.body.append(tree_script)
216 tree_script.set("src", conf.APPURL[0] + "/server/tree.js")
217 tree_script.set("type", "text/javascript")
208218
209219 script_jqui.set("type","text/javascript")
210220 script_jqui.set("src",conf.JQUERYUI[0] + "/jquery-ui.min.js")