From 6c66afb7b1d377ae0bb83d805baeb4ca16245cd7 Mon Sep 17 00:00:00 2001
From: ichuang <ichuang@mit.edu>
Date: Tue, 29 May 2012 17:55:13 -0400
Subject: [PATCH] try cm.refresh in textbox.html to fix codemirror bug with
 chrome

---
 templates/textbox.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/templates/textbox.html b/templates/textbox.html
index 27f0bcee21..bbe6476746 100644
--- a/templates/textbox.html
+++ b/templates/textbox.html
@@ -29,6 +29,7 @@ $(function(){
                                      , lineNumbers: true
 % endif
 				   });
+  cm.refresh();
   // codemirror_set["${id}"] = cm;	// track it for refreshes
 });
 </script>