Jeremy Tuloup

Results 481 issues of Jeremy Tuloup

## Elevator Pitch More and more repos are now adopting the Jupyter Releaser as a convenient way to make releases: https://github.com/jupyter-server/jupyter_releaser - https://github.com/jupyterlab/jupyterlab - https://github.com/jupyterlab/retrolab - https://github.com/ipython/ipykernel - https://github.com/jupyter/jupyter_server -...

maintenance

## Description Testing with this gist on Binder and the latest RetroLab 0.3.9: https://gist.github.com/jtpio/655b5ab8c6bf28e44aaf79f8313b68f0 The status popup appears to be cropped and is hiding content (not scrollable): ![image](https://user-images.githubusercontent.com/591645/136980524-7a0d7bf1-026b-4e89-b05b-4d84c54ca3a3.png) ## Reproduce...

Listing a couple of items to check when updating to the next JupyterLab 4.0 pre-release: - [ ] Revert https://github.com/jupyter/notebook/pull/6499 - [ ] Check CodeMirror 6 - [ ] Add...

### Problem Many Python libraries used in the classic notebook rely on `IPython` and `Jupyter` being exposed on `window`. This makes porting extensions to JupyterLab / RetroLab a bit difficult...

enhancement

### Problem At the moment the help plugin is all contained in a single plugin: https://github.com/jupyterlab/retrolab/blob/752e21fde9fbd995f2ab006a5c8650f7ae55a1f0/packages/help-extension/src/index.tsx#L42-L166 Ideally the functionalities would be split into multiple plugins, similar to JupyterLab: https://github.com/jupyterlab/jupyterlab/blob/master/packages/help-extension/src/index.tsx This...

enhancement
help wanted
good first issue

Fixes #6344 This avoids having to patch `docManager.open` method at runtime. However since the `IDocumentManager.IWidgetOpener` requires access to the doc manager to handle dirty contexts, some logic is similar to...

maintenance

This adds the Settings Editor to the existing `TabPanel` on the landing page (`/tree`): https://user-images.githubusercontent.com/591645/159055329-52c9e003-716d-4f3f-8fbc-8f4a67ae2180.mp4 ### TODO - [x] Add the settings editor by default - [ ] Make it...

enhancement

This is an issue for 7.0 release planning. It will continue to be updated as we plan and develop Jupyter Notebook v7. From the [Notebook v7 Jupyter Enhancement Proposal](https://jupyter.org/enhancement-proposals/79-notebook-v7/notebook-v7.html): >...

Looks like `jupyterlab-tour` is not supported yet in RetroLab with the plugin failing to activate: ![image](https://user-images.githubusercontent.com/591645/119057199-58d8c400-b9cc-11eb-98ea-6b798a4aeb0e.png)

help wanted

### Problem In the classic notebook it's possible to edit the notebook metadata: ![image](https://user-images.githubusercontent.com/591645/140095082-9a076754-6923-41d4-8b4c-987d04b8916f.png) ![image](https://user-images.githubusercontent.com/591645/140095110-f6680fb5-4a64-48a7-83a8-fdfc42898b63.png) ### Proposed Solution We add a new plugin to replicate that UX and let users...

enhancement
help wanted
good first issue