use explicit running header name + jquery's toggle

12 years ago · 14239c01e4
parent 7d1da4c550
commit 14239c01e4
1 changed files with 1 additions and 5 deletions
--- a/IPython/html/static/tree/js/kernellist.js
+++ b/IPython/html/static/tree/js/kernellist.js
@ -31,11 +31,7 @@ var IPython = (function (IPython) {
            this.add_shutdown_button(item,this.sessions[path]);
        }
       
-        if ($.isEmptyObject(d)) {
-           $('#' + this.element_name + '_list_header').show();
-       } else {
-           $('#' + this.element_name + '_list_header').hide();
-       }
+        $('#running_list_header').toggle($.isEmptyObject(d));
    }
    
    IPython.KernelList = KernelList;