You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Tuloup f0a237a180 Patch docManager.open to better open in new tab		5 years ago
..
application	Close widget if it cannot be added to the shell	5 years ago
application-extension	Patch docManager.open to better open in new tab	5 years ago
docmanager-extension	Patch docManager.open to better open in new tab	5 years ago
filebrowser-extension	Move some plugins to the notebook extension	5 years ago
lab-extension	Add CI	5 years ago
notebook-extension	Patch docManager.open to better open in new tab	5 years ago
ui-components	Add support for themes	5 years ago