Andrea Giammarchi
1447cb3094
Fix #1997 - Bring pyscript stdlib to the PyEditor ( #2010 )
...
* Fix #1997 - Bring pyscript stdlib to the PyEditor
2024-03-28 10:43:26 +01:00
Andrea Giammarchi
df1d699fe6
[feature] py-editor setup ( #1989 )
2024-03-13 12:25:30 +01:00
Andrea Giammarchi
63f2453091
Fix #1946 - Do not hold while bootstrapping ( #1953 )
2024-01-26 15:04:02 +01:00
Andrea Giammarchi
6a3e2834b6
Fix #1890 - Apply latest patch that was lost ( #1891 )
2023-12-07 10:29:45 +01:00
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