Adds Portal support for all existing
Emmy-Viewers code via emmy.portal. See emmy.portal/{prepare!, install!, start!}.
This required the custom viewers emmy.portal.mafs, emmy.portal.tex and
emmy.portal.reagent, as well as emmy.portal.deps for installing the NPM
deps necessary to make each plugin work.
I'll continue the pattern here for MathBox, Leva and JSXGraph as they come
along.
adds emmy.viewer.css with CSS maps for each of the Emmy-Viewers
dependencies. Eventually each of these will move down into the appropriate
sub-project.
26:
emmy.portal
. Seeemmy.portal/{prepare!, install!, start!}
.This required the custom viewers
emmy.portal.mafs
,emmy.portal.tex
andemmy.portal.reagent
, as well asemmy.portal.deps
for installing the NPM deps necessary to make each plugin work.I'll continue the pattern here for MathBox, Leva and JSXGraph as they come along.
emmy.viewer.css
with CSS maps for each of the Emmy-Viewers dependencies. Eventually each of these will move down into the appropriate sub-project.