When you start the dict is empty. Each time that did_discover_peripheral() is run, it will add a new entry in the dict if it is not already there.

Newcomer to Editorial and truly a great tool that fits.

Newbie question - when I export some markup (let’s say I export a document to a mail program), it formats beautifully - but way too big of a font.

I’ve found the settings to change font while editing, but doesn’t seem to impact the export. Some CSS manipulation needed for Themes (e.g. Example Theme) ?

Thanks!

https://ask.sagemath.org/questions/

@cook Cool, tomorrow!