diff --git a/docs/source/frontend_config.rst b/docs/source/frontend_config.rst index be3699ffd2..0ce675b6b4 100644 --- a/docs/source/frontend_config.rst +++ b/docs/source/frontend_config.rst @@ -48,6 +48,18 @@ to reissue the patch on new notebooks. `_ which are available for configuration. +You can similarly change the options of the file editor by entering the following +snippet in the browser's Javascript console once (from a file editing page).:: + + var config = Jupyter.editor.config + var patch = { + Editor: { + codemirror_options: { + indentUnit: 2 + } + } + } + config.update(patch) Example - Restoring the notebook's default indentation ------------------------------------------------------