Refresh CodeMirror after resizing it, so the scrollbars do the right …

…stuff.
Kostadin · Dec 24, 2011 · ffdca9c · ffdca9c
1 parent 8617669
commit ffdca9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/static/index.html b/static/index.html
@@ -321,6 +321,7 @@
 						codeElement = code.getWrapperElement();
 						codeElement.style.width = resizer.currentWidth + 'px';
 						codeElement.style.height = resizer.currentHeight + 'px';
+						code.refresh();
 					}
 				}, false );