From 55c25b2e3e043bc5a045d052ceac7c72c445b8b8 2015-01-15 01:24:23
From: Min RK <benjaminrk@gmail.com>
Date: 2015-01-15 01:24:23
Subject: [PATCH] hide pager straight down

instead of shrinking into the corner
---

diff --git a/IPython/html/static/notebook/js/pager.js b/IPython/html/static/notebook/js/pager.js
index a2f6ab2..881d575 100644
--- a/IPython/html/static/notebook/js/pager.js
+++ b/IPython/html/static/notebook/js/pager.js
@@ -57,8 +57,13 @@ define([
         this.pager_element.bind('collapse_pager', function (event, extrap) {
             // Animate hiding of the pager.
             var time = (extrap && extrap.duration) ? extrap.duration : 'fast';
-            that.pager_element.hide(time, function() {
-                $('.end_space').css('height', that._default_end_space);
+            that.pager_element.animate({
+                height: 'toggle'
+            }, {
+                duration: time,
+                done: function() {
+                    $('.end_space').css('height', that._default_end_space);
+                }
             });
         });