From 45090c2bf8f121eb00f6c105cd8ec76f535a4500 2012-06-27 22:07:07
From: MinRK <benjaminrk@gmail.com>
Date: 2012-06-27 22:07:07
Subject: [PATCH] disable auto-scroll on mozilla

see #2041 for details

---

diff --git a/IPython/frontend/html/notebook/static/js/outputarea.js b/IPython/frontend/html/notebook/static/js/outputarea.js
index ed1a7c5..ab57cca 100644
--- a/IPython/frontend/html/notebook/static/js/outputarea.js
+++ b/IPython/frontend/html/notebook/static/js/outputarea.js
@@ -78,6 +78,10 @@ var IPython = (function (IPython) {
         this.prompt_overlay.click(function () { that.toggle_scroll(); });
 
         this.element.resize(function () {
+            // FIXME: Firefox on Linux misbehaves, so automatic scrolling is disabled
+            if ( $.browser.mozilla ) {
+                return;
+            }
             // maybe scroll output,
             // if it's grown large enough and hasn't already been scrolled.
             if ( !that.scrolled && that._should_scroll()) {