From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 14 Mar 2025 15:52:28 +0000 (+0000)
Subject: dot/jupyter-notebook.json: Turn off line numbers.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/aa0a28e378895c8d8f833ef51ddb6e09afd434ec

dot/jupyter-notebook.json: Turn off line numbers.

I don't remember where this came from but it looks harmless enough.
---

diff --git a/dot/jupyter-notebook.json b/dot/jupyter-notebook.json
index e84b6e2..d77ebeb 100644
--- a/dot/jupyter-notebook.json
+++ b/dot/jupyter-notebook.json
@@ -1,4 +1,9 @@
 {
+  "Cell": {
+    "cm_config": {
+      "lineNumbers": false
+    }
+  },
   "CodeCell": {
     "cm_config": {
       "autoCloseBrackets": false,