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 c3c4867bf6 Move to tree-extension		5 years ago
..
application	Close widget if it cannot be added to the shell	5 years ago
application-extension	Remove running page and handler	5 years ago
docmanager-extension	Patch docManager.open to better open in new tab	5 years ago
lab-extension	Add CI	5 years ago
notebook-extension	CSS tweaks and cleanup	5 years ago
tree-extension	Move to tree-extension	5 years ago
ui-components	Add support for themes	5 years ago