Properly restore horizonal scroll position on refresh() calls

Issue #1164

Author: marijnh

lib/codemirror.js

@@ -2829,8 +2829,11 @@ window.CodeMirror = (function() {
 
     refresh: function() {
       clearCaches(this);
-      if (this.display.scroller.scrollHeight > this.view.scrollTop)
-        this.display.scrollbarV.scrollTop = this.display.scroller.scrollTop = this.view.scrollTop;
+      var sTop = this.view.scrollTop, sLeft = this.view.scrollLeft;
+      if (this.display.scroller.scrollHeight > sTop)
+        this.display.scrollbarV.scrollTop = this.display.scroller.scrollTop = sTop;
+      if (this.display.scroller.scrollWidth > sLeft)
+        this.display.scrollbarH.scrollLeft = this.display.scroller.scrollLeft = sLeft;
       updateDisplay(this, true);
     },