3 ms·
The real simple thing would be to paint a border or just a sideline in cells that have already been executed. Just that would make everything much, much better
by thanatropism 10y ago
The real simple thing would be to paint a border or just a sideline in cells that have already been executed.
Just that would make everything much, much better.
- jasongrout 10y agoThanks, that makes a lot of sense. I've opened an issue: https://github.com/jupyter/jupyterlab/issues/405 https://github.com/jupyter/jupyterlab/issues/405.