mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-12-09 03:50:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add TODO for formal plugin definition

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-04 23:07:22 +01:00
parent 3185922bb3
commit 066d9cb65f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
builder/index.js
View File

@ -65,6 +65,8 @@ async function createModule(scope, module) {
async function main() {
const App = require('@jupyterlab-classic/application').App;
const app = new App();
// TODO: formalize the way the set of initial extensions and plugins are specified
const mods = [
require('@jupyterlab-classic/application-extension'),
require('@jupyterlab/apputils-extension').default.filter(({ id }) =>