diff --git a/notebook/static/edit/js/menubar.js b/notebook/static/edit/js/menubar.js index a72ee0429c..82cb58eccf 100644 --- a/notebook/static/edit/js/menubar.js +++ b/notebook/static/edit/js/menubar.js @@ -112,6 +112,11 @@ define([ }); // View + + this.element.find('#toggle_header').click(function (){ + $("#header-container").toggle(); + }); + this.element.find('#menu-line-numbers').click(function () { var current = editor.codemirror.getOption('lineNumbers'); var value = Boolean(1-current); diff --git a/notebook/templates/edit.html b/notebook/templates/edit.html index ea49f89abd..d471f8c6d2 100644 --- a/notebook/templates/edit.html +++ b/notebook/templates/edit.html @@ -65,7 +65,9 @@