Permanently activate line numbers in editor

I think that this pull request should solve this issue: https://github.com/jupyterlab/jupyterlab/pull/10868 - could you please help testing it on binder (there is a button in the first comment that will open JupyterLab with this patch applied in the browser for you) to confirm that it helps and works as you would expect?

1 Like