Skip to content

Commit 0c83c9d

Browse files
authored
Merge pull request #5889 from jmandreoli/patch-1
Added section for file editor configuration
2 parents c5a0f80 + 9e62e2d commit 0c83c9d

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

docs/source/frontend_config.rst

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -48,6 +48,18 @@ to reissue the patch on new notebooks.
4848
<https://codemirror.net/doc/manual.html#option_indentUnit>`_ which are available
4949
for configuration.
5050

51+
You can similarly change the options of the file editor by entering the following
52+
snippet in the browser's Javascript console once (from a file editing page).::
53+
54+
var config = Jupyter.editor.config
55+
var patch = {
56+
Editor: {
57+
codemirror_options: {
58+
indentUnit: 2
59+
}
60+
}
61+
}
62+
config.update(patch)
5163

5264
Example - Restoring the notebook's default indentation
5365
------------------------------------------------------

0 commit comments

Comments
 (0)