hide pager straight down

instead of shrinking into the corner
11 years ago · 7479bf26e8
parent 81f9f1b7f5
commit 7479bf26e8
1 changed files with 7 additions and 2 deletions
--- 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);
+                }
            });
        });