dot/jupyter-notebook.json: Set `tabSize' because the editor is broken.

The thing which handles deleting indentation when you press backspace
quantizes to the tab size, not the indentation unit, which is obviously
wrong.  Fortunately, I don't think I care what it thinks the tab size
is, so set it to match the indent unit.

diff --git a/dot/jupyter-notebook.json b/dot/jupyter-notebook.json
index ebf4aae..e84b6e2 100644 (file)
--- a/dot/jupyter-notebook.json
+++ b/dot/jupyter-notebook.json
@@ -2,7 +2,8 @@
   "CodeCell": {
     "cm_config": {
       "autoCloseBrackets": false,
-      "indentUnit": 2
+      "indentUnit": 2,
+      "tabSize": 2
     }
   }
 }