coq_jupyter icon indicating copy to clipboard operation
coq_jupyter copied to clipboard

Published 20 hours ago • verified publisher icon EugeneLoy

Improve support for JupyterLab

Open EugeneLoy opened this issue 5 years ago • 2 comments

TBD

Follow up on: https://coq.discourse.group/t/jupyter-kernel-for-coq/256/2

EugeneLoy avatar Oct 11 '19 11:10 EugeneLoy

I came across your "auto-rollback" feature while trying to implement something similar for my own kernel. FYI JupyterLab gives each cell a persistent ID and passes cellId and deletedCells metadata on every execute request, accessible by ipykernel in self._parent_header['metadata'].

https://github.com/jupyterlab/jupyterlab/pull/5033 https://github.com/jupytercalpoly/reactivepy

kevinmehall avatar Nov 06 '19 15:11 kevinmehall

@kevinmehall Thanks for pointing this out!

Maintaining persistent cell id was a major pain while implementing kernel for vanilla notebook frontend.

I am pretty sure this will help with JupyterLab implementation.

EugeneLoy avatar Nov 06 '19 15:11 EugeneLoy