diff --git a/docker/overrides.json b/docker/overrides.json new file mode 100644 index 0000000..5d4e2c3 --- /dev/null +++ b/docker/overrides.json @@ -0,0 +1,8 @@ +{ + "@jupyterlab/notebook-extension:tracker": { + "scrollPastEnd": false + }, + "@jupyterlab/apputils-extension:notification": { + "fetchNews": "false" + } +} diff --git a/docker/postBuild b/docker/postBuild index eea666a..2731264 100755 --- a/docker/postBuild +++ b/docker/postBuild @@ -7,3 +7,7 @@ set -euo pipefail # used in the JupyterHub. cp custom_jupyter_server_config.json ${NB_PYTHON_PREFIX}/etc/jupyter/jupyter_server_config.d/ cp custom_jupyter_server_config.json ${NB_PYTHON_PREFIX}/etc/jupyter/jupyter_notebook_config.d/ + +# Install settings overrides, including fix for jumping-scroll behavior +mkdir -p ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings +cp overrides.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings