From 541aed3ea156ac1d656e79e20a73c469b4ae3a98 Mon Sep 17 00:00:00 2001
From: Jonathan Frederic <jon.freder@gmail.com>
Date: Tue, 18 Aug 2015 19:33:01 -0700
Subject: [PATCH] Add defferred loading of jquery in terminal

---
 notebook/static-src/terminal/js/main.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/notebook/static-src/terminal/js/main.js b/notebook/static-src/terminal/js/main.js
index 1e8b77ff1..2e1691779 100644
--- a/notebook/static-src/terminal/js/main.js
+++ b/notebook/static-src/terminal/js/main.js
@@ -2,6 +2,7 @@
 // Distributed under the terms of the Modified BSD License.
     "use strict";
 
+requirejs(['jquery'], function() {
     var $ = require('jquery');
     var utils = require('base/js/utils');
     var page = require('base/js/page');
@@ -53,3 +54,4 @@
 
     // Expose terminal for fiddling with in the browser
     window.terminal = terminal;
+});