I tried my best to resolve this.
codemirror directory exists in webapps/orchard directory on my tomcat
server. Within the orchard directory a codemirror directory exists and
contains some codemirror related js files.
The webapps/orchard/codemirror directory has following files
And the the webapps/orchard directory has
date.js, jquery-1.2.6-min.js, mock-executor.js, orc.js, orc-parser-min.js
I tried to debug this through the browser script debugger and noticed that
the html file created was using the following js files
I noticed that while the other 3 files were present in orchard directory the
codemirror-min and codemirror-extra-min was not. I copied the codemirror.js
file present in codemirror directory as codemirror-min.js in orchard
This changed the error of "CodeMirror" undefined to "Editor" undefined which
is now coming in orc-parser-min.js
I would like to know what these "min" files are? If I download codemirror js
files - they also do not contain these min files.
I noticed that it is using -min.js files based on the value of this mock
Kindly provide some more information on this to help me in setting this up..
On Thu, Feb 3, 2011 at 4:02 AM, David Kitchin <dkitc...@cs.utexas.edu>wrote:
Tata Institute of Fundamental Research