From 91d5e5f6ed5c27fbfe3adadca9388d39c1cdd78e 2014-11-01 00:28:51
From: Thomas Kluyver <takowl@gmail.com>
Date: 2014-11-01 00:28:51
Subject: [PATCH] Show terminals as terminals/name

Bigger click target

---

diff --git a/IPython/html/static/tree/js/terminallist.js b/IPython/html/static/tree/js/terminallist.js
index 91f3138..c7ef391 100644
--- a/IPython/html/static/tree/js/terminallist.js
+++ b/IPython/html/static/tree/js/terminallist.js
@@ -39,6 +39,11 @@ define([
         $('#new_terminal').click($.proxy(this.new_terminal, this));
     };
 
+    TerminalList.prototype.new_terminal = function() {
+        var url = utils.url_join_encode(this.base_url, 'terminals/new');
+        window.open(url, '_blank');
+    };
+
     TerminalList.prototype.load_terminals = function() {
         var that = this;
         var url = utils.url_join_encode(this.base_url, 'api/terminals');
@@ -63,15 +68,10 @@ define([
         }
         $('#terminal_list_header').toggle(data.length === 0);
     };
-
-    TerminalList.prototype.new_terminal = function() {
-        var url = utils.url_join_encode(this.base_url, 'terminals/new');
-        window.open(url, '_blank');
-    };
     
     TerminalList.prototype.add_link = function(name, item) {
         item.data('term-name', name);
-        item.find(".item_name").text(name);
+        item.find(".item_name").text("terminals/" + name);
         item.find(".item_icon").addClass("fa fa-terminal");
         var link = item.find("a.item_link")
             .attr('href', utils.url_join_encode(this.base_url, "terminals", name));