From 0f4d3be4702f1c755c6072e2056d948d55da1ef3 Mon Sep 17 00:00:00 2001
From: Sylvain Corlay <sylvain.corlay@gmail.com>
Date: Tue, 15 Mar 2016 20:14:29 -0400
Subject: [PATCH] Add missing pager.append function

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

diff --git a/notebook/static/notebook/js/pager.js b/notebook/static/notebook/js/pager.js
index 59b801fe5..b2ce8e9fe 100644
--- a/notebook/static/notebook/js/pager.js
+++ b/notebook/static/notebook/js/pager.js
@@ -160,6 +160,14 @@ define([
         this.pager_element.find(".container").append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
     };
 
+    Pager.prototype.append = function (htm) {
+        /**
+         * The only user content injected with this HTML call is escaped by
+         * the fixConsole() method.
+         */
+        this.pager_element.find(".container").append(htm);
+    };
+
 
     Pager.prototype._resize = function() {
         /**