4424b0e46a
Switch back to "default" keycap
9 years ago
e36bafd164
Set "sublime" to default keymap for editor
9 years ago
a2f6a8c3bb
editor: remember user language choices per file extension
...
When the language is selected manually, record the file extension and choice in config
so that future files opened with the same extension use the same mode.
This allows users to teach the editor about file extensions CodeMirror doesn't know about.
9 years ago
47d4451958
remove webpack shims
...
restore explicit imports of jquery, etc.
9 years ago
d1203448f8
Add option to toggle header on edit page
10 years ago
1ae63ce185
Load jquery and friends globally
10 years ago
a8b15bc709
avoid double-encoding base_url
...
base_url should already be url-encoded.
11 years ago
2d5d548d79
Revert "Use NPM, node ES5, and browserify."
11 years ago
c8ff593efc
Move source out
11 years ago
ff9406f2e3
require.js ES5 -> commonjs ES5
11 years ago
d71a59cc9f
s/jupyter_notebook/notebook
11 years ago
Grant Nestor
Min RK
summersa
Jonathan Frederic
Matthias Bussonnier