Andrea Giammarchi 40e99abbdf Py editor (#1860) ...

* added a *py-editor* plugin based on *codemirror*
  * use a `<script type="py-editor">` wrapper to bootstrap code
  * tested that all is good via smoke-test in test/py-editor.html

2023-12-06 09:53:10 +01:00

..

3rd-party.cjs

Py editor (#1860)

2023-12-06 09:53:10 +01:00

core.config.js

Improve offline dist content (#1836)

2023-11-03 10:00:52 +01:00

plugins.cjs

[next] Bootstrap plugins directly (#1698)

2023-09-14 11:11:44 +02:00

stdlib.cjs

[next] Bring in stdlib as artifact (#1666)

2023-09-01 09:24:49 -07:00