From c0973877c84d7564c9a9c64c1ed8af98ed306dc3 Mon Sep 17 00:00:00 2001
From: PHaeJin <33171667+PHaeJin@users.noreply.github.com>
Date: Tue, 14 Nov 2017 00:41:15 +0900
Subject: [PATCH] Fix a typo (#3043)

* Fix a typo

* Fix a typo

* Fix abroken link
---
 docs/source/extending/keymaps.rst | 2 +-
 notebook/serverextensions.py      | 4 ++--
 notebook/static/tree/js/main.js   | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

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
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")
     )
 
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);