JupyterLab 3 update#402

Closed

martinRenou wants to merge 1 commit intojupyter-lsp:masterfrom

martinRenou:jlab3

Commits on Nov 9, 2020

Update completion_theme extension to JupyterLab 3
martinRenou
committed