Jeremy Tuloup
bf1530f1b6
Add devcontainer support, backed by pixi ( #7602 )
...
* Add pixi based devcontainer
* Update devcontainer.json
* update pixi deps
* fixes
* tweaks
* add start task
* lint
* Mention codespaces in the contributing guide
* add install command
* tweaks
* fix
* fix
* update contributing
2025-03-11 22:10:21 +01:00
Jeremy Tuloup
2e4886f31f
Fix loading of plugins ( #6750 )
...
* Explicit load plugins for the settings editor
* Move logic to the tree extension
* Move logic to a separate plugin
* Read extensions in webpack config
* Rearrange package.json
* read mime extensions
* Template plugins per page
* Cleanup
* Load allPlugins for the settings editor
* Expand on the comment
* Expand on comment
* Fix lint
2023-02-27 10:32:34 +01:00
Steven Silvester
22475a39ab
Adopt ruff and typing ( #6658 )
...
* adopt ruff and typing
* reinstate local hooks
* fix classifier
* fix lint
* limit ruff target
* fix doc8 test
* add integrity check
* lint
* lint
* only use mdformat for changelog
* prettier
2022-12-11 17:07:54 +01:00
Jeremy Tuloup
a47da616ab
Update to the 3.1.0-alpha.x upstream packages ( #127 )
...
* Update packages
* Update Binder
* Add collaborative
* Update to alpha packages
* Integrity
* Add labextension to prettierignore
* Update jest config
* Move file browser lab plugins to a separate file
* Cleanup tree extension
* Fix file editor factory in the edit view
* Integrity
* Fix plugin name
2021-05-20 17:19:55 +02:00
Jeremy Tuloup
19452608e2
Add CI
2020-12-07 18:01:27 +01:00
Jeremy Tuloup
ddcf687a78
Initial commit
2020-12-04 15:15:41 +02:00
