From c763769115ef7eba47f49ad1f684a740a5fd3539 Mon Sep 17 00:00:00 2001 From: PHaeJin Date: Mon, 13 Nov 2017 06:46:03 -0800 Subject: [PATCH 1/3] Fix a typo --- docs/source/extending/keymaps.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/extending/keymaps.rst b/docs/source/extending/keymaps.rst index 1d2cc73349..43b89cb2dd 100644 --- a/docs/source/extending/keymaps.rst +++ b/docs/source/extending/keymaps.rst @@ -7,7 +7,7 @@ Customize keymaps which is not guaranteed to be kept in future versions of the notebook, and can be removed or changed without warnings. -The notebook shortcuts that are defined by jupyter both in edit mode an command +The notebook shortcuts that are defined by jupyter both in edit mode and command mode are configurable in the frontend configuration file ``~/.jupyter/nbconfig/notebook.json``. The modification of Keyboard shortcut suffer of several limitations, mainly that your Browser and OS might prevent From a7e5544863726c7e387c99c7eee65ebf8497a527 Mon Sep 17 00:00:00 2001 From: PHaeJin Date: Mon, 13 Nov 2017 06:49:27 -0800 Subject: [PATCH 2/3] Fix a typo --- notebook/serverextensions.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/notebook/serverextensions.py b/notebook/serverextensions.py index 9889c702bc..504d451db1 100644 --- a/notebook/serverextensions.py +++ b/notebook/serverextensions.py @@ -283,8 +283,8 @@ class ServerExtensionApp(BaseExtensionApp): examples = _examples subcommands = dict( - enable=(EnableServerExtensionApp, "Enable an server extension"), - disable=(DisableServerExtensionApp, "Disable an server extension"), + enable=(EnableServerExtensionApp, "Enable a server extension"), + disable=(DisableServerExtensionApp, "Disable a server extension"), list=(ListServerExtensionsApp, "List server extensions") ) From 4c75c2e5b66a1a4242df6f2f6375b54449ce5e72 Mon Sep 17 00:00:00 2001 From: PHaeJin Date: Mon, 13 Nov 2017 06:55:18 -0800 Subject: [PATCH 3/3] Fix abroken link --- notebook/static/tree/js/main.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notebook/static/tree/js/main.js b/notebook/static/tree/js/main.js index 8aa1f4ab2c..33b8bf09ad 100644 --- a/notebook/static/tree/js/main.js +++ b/notebook/static/tree/js/main.js @@ -196,7 +196,7 @@ require([ e.preventDefault(); // Set the hash without causing the page to jump. - // http://stackoverflow.com/a/14690177/2824256 + // https://stackoverflow.com/a/14690177/2824256 var hash = $(this).attr("href"); if(window.history.pushState) { window.history.pushState(null, null, hash);