From 63cc96ed1ceab66c090ead4876f64cede2e076e8 Mon Sep 17 00:00:00 2001 From: Dominic Kuang Date: Mon, 12 Jun 2017 10:35:26 -0700 Subject: [PATCH] Change comment identifier to be valid JavaScript Copying and pasting the snippet with `#` as a comment identifier caused an error, so use `//` instead. --- docs/source/frontend_config.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/frontend_config.rst b/docs/source/frontend_config.rst index 6c4280ad5..be3699ffd 100644 --- a/docs/source/frontend_config.rst +++ b/docs/source/frontend_config.rst @@ -61,7 +61,7 @@ four spaces. Enter the following code snippet in your JavaScript console:: var config = cell.config; var patch = { CodeCell:{ - cm_config:{indentUnit: null} # only change here. + cm_config:{indentUnit: null} // only change here. } } config.update(patch)