##// END OF EJS Templates
disable auto-scroll on mozilla...
MinRK -
Show More
@@ -78,6 +78,10 b' var IPython = (function (IPython) {'
78 this.prompt_overlay.click(function () { that.toggle_scroll(); });
78 this.prompt_overlay.click(function () { that.toggle_scroll(); });
79
79
80 this.element.resize(function () {
80 this.element.resize(function () {
81 // FIXME: Firefox on Linux misbehaves, so automatic scrolling is disabled
82 if ( $.browser.mozilla ) {
83 return;
84 }
81 // maybe scroll output,
85 // maybe scroll output,
82 // if it's grown large enough and hasn't already been scrolled.
86 // if it's grown large enough and hasn't already been scrolled.
83 if ( !that.scrolled && that._should_scroll()) {
87 if ( !that.scrolled && that._should_scroll()) {
General Comments 0
You need to be logged in to leave comments. Login now