reloading the minimized library for codemirror: regression corrected …

…by marijn
dyoo · Jan 28, 2013 · 9264be5 · 9264be5
1 parent 4252785
commit 9264be5
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/war/openEditor/index.jsp b/war/openEditor/index.jsp
@@ -51,10 +51,7 @@
     <script src="/js/jquery/jquery.center-in-client-min.js" type="text/javascript"></script>
     <script src="/js/jquery/jquery.blockUI-min.js" type="text/javascript"></script>
 
-    <!-- Note: there's currently a regression where IE mis-parses the
-      Google Closure-minimized library for codemirror.js.  Keep using the unminimized version
-      of the library till we figure this out. -->
-    <script src="/js/codemirror2/lib/codemirror.js" type="text/javascript"></script>
+    <script src="/js/codemirror2/lib/codemirror-min.js" type="text/javascript"></script>
 
     <script src="/js/codemirror2/addon/edit/matchbrackets.js" type="text/javascript"></script>
     <script src="/js/codemirror2-contrib/scheme2/scheme2-min.js" type="text/javascript"></script>