From 3b109de563818801a551fd51e2c3cdf2437a37e6 Mon Sep 17 00:00:00 2001
From: Paul Ivanov <pi@berkeley.edu>
Date: Thu, 20 Feb 2014 17:37:46 -0800
Subject: [PATCH] minimal KernelList

---
 IPython/html/static/tree/js/kernellist.js | 26 +++++++++++++++++++++++
 IPython/html/static/tree/js/main.js       |  1 +
 2 files changed, 27 insertions(+)
 create mode 100644 IPython/html/static/tree/js/kernellist.js

diff --git a/IPython/html/static/tree/js/kernellist.js b/IPython/html/static/tree/js/kernellist.js
new file mode 100644
index 000000000..0fdccf8b5
--- /dev/null
+++ b/IPython/html/static/tree/js/kernellist.js
@@ -0,0 +1,26 @@
+//----------------------------------------------------------------------------
+//  Copyright (C) 2014  The IPython Development Team
+//
+//  Distributed under the terms of the BSD License.  The full license is in
+//  the file COPYING, distributed as part of this software.
+//----------------------------------------------------------------------------
+
+//============================================================================
+// Running Kernels List
+//============================================================================
+
+var IPython = (function (IPython) {
+    "use strict";
+
+    
+    var KernelList = function (selector, options) {
+        IPython.NotebookList.call(this, selector, options);
+    };
+
+    KernelList.prototype = IPython.NotebookList.prototype;
+
+    IPython.KernelList = KernelList;
+
+    return IPython;
+
+}(IPython));
diff --git a/IPython/html/static/tree/js/main.js b/IPython/html/static/tree/js/main.js
index d66bb680d..9fada6301 100644
--- a/IPython/html/static/tree/js/main.js
+++ b/IPython/html/static/tree/js/main.js
@@ -24,6 +24,7 @@ $(document).ready(function () {
     };
     IPython.notebook_list = new IPython.NotebookList('#notebook_list', opts);
     IPython.cluster_list = new IPython.ClusterList('#cluster_list', opts);
+    IPython.kernel_list = new IPython.KernelList('#kernel_list', opts);
     IPython.login_widget = new IPython.LoginWidget('#login_widget', opts);
 
     var interval_id=0;