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 e84b6e29b5651d7c6041cbfc25e5193ca88c4b8c..d77ebebf5d808da02ecf601de5dc85c6897d2db5 100644 (file)
--- a/dot/jupyter-notebook.json
+++ b/dot/jupyter-notebook.json
@@ -1,4 +1,9 @@
 {
 {

+  "Cell": {
+    "cm_config": {
+      "lineNumbers": false
+    }
+  },

   "CodeCell": {
     "cm_config": {
       "autoCloseBrackets": false,
   "CodeCell": {
     "cm_config": {
       "autoCloseBrackets": false,