From d1203448f845d4385be4115357120de3f005c806 Mon Sep 17 00:00:00 2001 From: summersa Date: Wed, 16 Mar 2016 11:44:51 -0400 Subject: [PATCH] Add option to toggle header on edit page --- notebook/static/edit/js/menubar.js | 5 +++++ notebook/templates/edit.html | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) 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 @@