I looked more into it. I was wrong (or more correctly, I was outdated). Indeed, recent versions of the notebook over the last while (years?) *have* deprecated the header cells, and they have been removed from the notebook format, I think since at least notebook format 4.0 in 2015 or so:
https://nbformat.readthedocs.io/en/latest/format_description.html#markdown-cells "Heading cells have been removed, in favor of simple headings in markdown." The shortcut commands that also used to exist now just insert markdown cells with the appropriate header text (i.e., pressing '1', '2', etc.). Jason On Sat, Jan 6, 2018 at 3:14 PM Emmanuel Charpentier < emanuel.charpent...@gmail.com> wrote: > > Le samedi 6 janvier 2018 22:10:46 UTC+1, Samuel Lelievre a écrit : >> >> Yet the attached screenshot seems to indicate that >> the Jupyter notebook server launched by SageMath >> does not include selecting the "Header" cell type. >> > > Indeed. It's this difference between our notebook and the documentation > <https://jupyter.brynmawr.edu/services/public/dblank/Jupyter%20Notebook%20Users%20Manual.ipynb#2.4-Header-Cells> > found at Brywn Mawr College that led me to conclude that header cells were > something different from Markdows cells containing headers. > > I haven't been able to find other references to those headers cells... A > slightly wider search tells me that "Heading cells have been removed in > IPython 3 <https://github.com/jupyter/notebook/issues/255>". A similar > feature has been developed > <https://github.com/ipython-contrib/jupyter_contrib_nbextensions> for > Jupyter 2.x to 4.x (documented here > <http://jupyter-contrib-nbextensions.readthedocs.io/en/latest/index.html#> > ). > > So the question may boil down to : does the feature alluded to by the > original ask.sagemath.com question is > > - a standard feature we miss somehow, > - a former, deprecated feature , or > - an unofficial extension, which turns out to be documented as > standard at Brywn Mawr College ? > > and begets another question : should we add it to "our" notebook ? > > > -- > Emmanuel Charpentier > > >> Is there some configuration mechanism for deciding >> > which cell types are offered, which maybe would need >> to be set up differently? >> >> Samuel >> >> 2018-01-06 14:47 GMT-06:00 Jason Grout <ja...@jasongrout.org>: >> > >> > Cool, thanks, good to see things are getting up to date. >> > > Both of those definitely have the concept of header cells. >> > >> > Jason >> > >> > >> > On Sat, Jan 6, 2018 at 11:29 AM Samuel Lelièvre <samuel....@gmail.com> >> wrote: >> >> >> >> Sage 8.1 has notebook 4.4.1, while Sage 8.2.beta0 up to Sage 8.2.beta1 >> have notebook 5.2.1. >> >> >> >> $ ls /path/to/sage-8.1/upstream | grep notebook >> >> notebook-4.4.1.tar.gz >> >> >> >> $ ls /path/to/sage-8.beta0/upstream | grep notebook >> >> notebook-5.2.1.tar.gz >> >> >> >> $ ls /path/to/sage-8.beta2/upstream | grep notebook >> >> notebook-5.2.1.tar.gz >> >> >> >> -- >> >> You received this message because you are subscribed to the Google >> Groups "sage-devel" group. >> > >> To unsubscribe from this group and stop receiving emails from it, send >> an email to sage-devel+...@googlegroups.com. >> >> To post to this group, send email to sage-...@googlegroups.com. >> > >> >> Visit this group at https://groups.google.com/group/sage-devel. >> >> For more options, visit https://groups.google.com/d/optout. >> > >> > -- >> > You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> > To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/Pn2nAPSuGig/unsubscribe. >> > > To unsubscribe from this group and all its topics, send an email to >> sage-devel+...@googlegroups.com. >> > To post to this group, send email to sage-...@googlegroups.com. >> > >> > Visit this group at https://groups.google.com/group/sage-devel. >> > For more options, visit https://groups.google.com/d/optout. >> > > Le samedi 6 janvier 2018 22:10:46 UTC+1, Samuel Lelievre a écrit : > >> Yet the attached screenshot seems to indicate that >> the Jupyter notebook server launched by SageMath >> does not include selecting the "Header" cell type. >> >> Is there some configuration mechanism for deciding >> which cell types are offered, which maybe would need >> to be set up differently? >> >> Samuel >> >> 2018-01-06 14:47 GMT-06:00 Jason Grout <ja...@jasongrout.org>: >> > >> > Cool, thanks, good to see things are getting up to date. >> > > Both of those definitely have the concept of header cells. >> > >> > Jason >> > >> > >> > On Sat, Jan 6, 2018 at 11:29 AM Samuel Lelièvre <samuel....@gmail.com> >> wrote: >> >> >> >> Sage 8.1 has notebook 4.4.1, while Sage 8.2.beta0 up to Sage 8.2.beta1 >> have notebook 5.2.1. >> >> >> >> $ ls /path/to/sage-8.1/upstream | grep notebook >> >> notebook-4.4.1.tar.gz >> >> >> >> $ ls /path/to/sage-8.beta0/upstream | grep notebook >> >> notebook-5.2.1.tar.gz >> >> >> >> $ ls /path/to/sage-8.beta2/upstream | grep notebook >> >> notebook-5.2.1.tar.gz >> >> >> >> -- >> >> You received this message because you are subscribed to the Google >> Groups "sage-devel" group. >> > >> To unsubscribe from this group and stop receiving emails from it, send >> an email to sage-devel+...@googlegroups.com. >> >> To post to this group, send email to sage-...@googlegroups.com. >> > >> >> Visit this group at https://groups.google.com/group/sage-devel. >> >> For more options, visit https://groups.google.com/d/optout. >> > >> > -- >> > You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> > To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/Pn2nAPSuGig/unsubscribe. >> > > To unsubscribe from this group and all its topics, send an email to >> sage-devel+...@googlegroups.com. >> > To post to this group, send email to sage-...@googlegroups.com. >> > >> > Visit this group at https://groups.google.com/group/sage-devel. >> > For more options, visit https://groups.google.com/d/optout. >> > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
