mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-18 11:55:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix a typo (#3043)

Browse Source 
* Fix a typo

* Fix a typo

* Fix abroken link
This commit is contained in:
PHaeJin 2017-11-14 00:41:15 +09:00 committed by Thomas Kluyver
parent 1deb0aec16
commit c0973877c8
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/extending/keymaps.rst
View File

@ -7,7 +7,7 @@ Customize keymaps
which is not guaranteed to be kept in future versions of the notebook, which is not guaranteed to be kept in future versions of the notebook,
and can be removed or changed without warnings. 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 mode are configurable in the frontend configuration file
``~/.jupyter/nbconfig/notebook.json``. The modification of Keyboard shortcut ``~/.jupyter/nbconfig/notebook.json``. The modification of Keyboard shortcut
suffer of several limitations, mainly that your Browser and OS might prevent suffer of several limitations, mainly that your Browser and OS might prevent

4
notebook/serverextensions.py
View File

@ -283,8 +283,8 @@ class ServerExtensionApp(BaseExtensionApp):
examples = _examples examples = _examples
subcommands = dict( subcommands = dict(
enable=(EnableServerExtensionApp, "Enable an server extension"), enable=(EnableServerExtensionApp, "Enable a server extension"),
disable=(DisableServerExtensionApp, "Disable an server extension"), disable=(DisableServerExtensionApp, "Disable a server extension"),
list=(ListServerExtensionsApp, "List server extensions") list=(ListServerExtensionsApp, "List server extensions")
) )

2
notebook/static/tree/js/main.js
View File

@ -196,7 +196,7 @@ require([
e.preventDefault(); e.preventDefault();
// Set the hash without causing the page to jump. // 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"); var hash = $(this).attr("href");
if(window.history.pushState) { if(window.history.pushState) {
window.history.pushState(null, null, hash); window.history.pushState(null, null, hash);