diff --git a/notebook/static/edit/js/menubar.js b/notebook/static/edit/js/menubar.js index a72ee0429..82cb58ecc 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 ea49f89ab..d471f8c6d 100644 --- a/notebook/templates/edit.html +++ b/notebook/templates/edit.html @@ -65,7 +65,9 @@ data-file-path="{{file_path}}"