From 4a5fc4d54b1f71796cd8e94cfe23c9ad76af27a8 Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Fri, 23 Jul 2021 15:52:58 +0200 Subject: [PATCH] jupyter: enable line numbers --- files/jupyter_notebook.json | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/files/jupyter_notebook.json b/files/jupyter_notebook.json index d00c34f..d8feb02 100644 --- a/files/jupyter_notebook.json +++ b/files/jupyter_notebook.json @@ -2,5 +2,10 @@ "Notebook": { "Header": false, "Toolbar": false + }, + "CodeCell": { + "cm_config": { + "lineNumbers": true + } } } \ No newline at end of file