From 71c905574e5bc4ab4dac882ea2b5587e2ca8ea98 Mon Sep 17 00:00:00 2001
From: Jonathan Frederic <jon.freder@gmail.com>
Date: Thu, 22 Oct 2015 09:01:55 -0700
Subject: [PATCH] Force pager to draw scrollbars on FireFox

---
 notebook/static/notebook/js/pager.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/notebook/static/notebook/js/pager.js b/notebook/static/notebook/js/pager.js
index 119612f84..0b423758b 100644
--- a/notebook/static/notebook/js/pager.js
+++ b/notebook/static/notebook/js/pager.js
@@ -78,6 +78,13 @@ define([
                 // This allows the pager-contents div to use percentage sizing.
                 that.pager_element.height(that.pager_element.height());
                 that._resize();
+                
+                // HACK: Less horrible, but still horrible hack to force the
+                // pager to show it's scrollbars on FireFox. ipython/ipython/#8853
+                that.pager_element.css('position', 'relative');
+                window.requestAnimationFrame(function() { /* Wait one frame */                    
+                    that.pager_element.css('position', '');
+                });
             });
         });