You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Min RK ae6096e2ae Backport PR #1215: Toggle Header in Edit page ... #1214 There is no function to hide the header in edit mode. Now I know my syntax is wrong. I couldn't find a way to do this from the edit page javascript file. If I could get some guidance and than I could write it properly. Right now I just put the javascript within the html edit file. Before: ...		10 years ago
..
js	Backport PR #1215: Toggle Header in Edit page	10 years ago
less	s/jupyter_notebook/notebook	11 years ago