Gabriel Ruiz
331a7a2dda
Editor - Prompt warning when overwriting a file that is modified on disk ( #2783 )
...
* added overwrite prevention to saving
* rearranging order of require variables and edit to rename
* added documentation, and fixed reload button
* followed suggestion by tom, started tests
* Revert "followed suggestion by tom, started tests"
This reverts commit 4d45ec7c1b6da51d3e1d4140b174b6f237ea2133.
* added back in reverted changes to editor.js
* Fix broken reference to 'this'
8 years ago
Grant Nestor
4d258a8e4e
Use `requirejs` vs. `require`
8 years ago
Thomas Kluyver
11ba6be432
Merge pull request #2745 from gnestor/keymap-default
...
Make "extraKeys" consistent for notebook and editor
8 years ago
Grant Nestor
f222978992
Remove comments
8 years ago
Grant Nestor
aa3c1a5481
Merge pull request #2357 from Ashamandi/master
...
Bidi support
8 years ago
Grant Nestor
62bc68c585
Make "extraKeys" consistent for notebook and editor
9 years ago
Grant Nestor
4424b0e46a
Switch back to "default" keycap
9 years ago
Grant Nestor
e36bafd164
Set "sublime" to default keymap for editor
9 years ago
Thomas Kluyver
835bbd132c
Set CodeMirror mode using mimetype, not mode name
...
One mode definition file can contain different modes, e.g. clike includes C, C++,
C#, Java, and a few others. We need to use the mime type to distinguish which one
we want.
Closes gh-2737
9 years ago
samarsultan
048befc311
update savewidget.js
9 years ago
samarsultan
c4385ebcb3
removing setUserPreference function
9 years ago
samarsultan
57da7fa019
Resolving Conflicts
9 years ago
Thomas Kluyver
0d124e054e
Catch trying to rename to an empty filename
...
Act as if the OK button is diabled.
Closes gh-2475
9 years ago
Min RK
97f4913c16
only set codemirror mode if it exists
9 years ago
Min RK
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
Kyle Kelley
ed92e20f75
Merge pull request #2387 from gnestor/editor-search-style
...
Fix search background style
9 years ago
Grant Nestor
ebad7c0241
Fix search background style
9 years ago
Samar Sultan
ca244e7986
Update savewidget.js
9 years ago
samarsultan
2d0be3560f
Tuning bidi support
9 years ago
samarsultan
6f126382d7
tuning bidi support
9 years ago
samarsultan
243a3f8d77
Bidi Support
9 years ago
Ioannis Papadopoulos
d4bd5ccf39
Refactored Page class removing todo
9 years ago
samarsultan
ea72fe3ff5
Creating bidi interface
9 years ago
samarsultan
4013cd8b17
enable the localization mode
9 years ago
Min RK
83a2e83cf9
declare contents variable
...
typo introduced in unwebpackification
9 years ago
Min RK
11bd42c353
un-nest loading of contents in main modules
9 years ago
Min RK
47d4451958
remove webpack shims
...
restore explicit imports of jquery, etc.
9 years ago
Pierre Gerold
fcec0896ce
Protect the three call to custom.js
10 years ago
summersa
d1203448f8
Add option to toggle header on edit page
10 years ago
Jonathan Frederic
08e968d7e9
Make events a global singleton
10 years ago
Jonathan Frederic
e64f1f9dc2
Dynamically set base url
10 years ago
Jonathan Frederic
fe5ffc106b
Make sure IPython is set on window
10 years ago
Jonathan Frederic
e5e8db3670
Load contents dynamically and load jquery-typeahead globally
10 years ago
Jonathan Frederic
1ae63ce185
Load jquery and friends globally
10 years ago
Min RK
a27266ac33
Merge pull request #1076 from takluyver/codemirror-fileext-lowercase
...
Lowercase file extension before looking it up in CodeMirror
10 years ago
Thomas Kluyver
b361d39723
Lowercase file extension before looking it up in CodeMirror
...
It looks like CodeMirror stores no capitalised extensions:
https://github.com/codemirror/CodeMirror/blob/master/mode/meta.js
If there ever are any, this would break looking them up. But that seems
fairly unlikely.
Closes gh-1073
10 years ago
Safia Abdalla
45148fd6b1
Updated dialog button layout
10 years ago
Min RK
a8b15bc709
avoid double-encoding base_url
...
base_url should already be url-encoded.
10 years ago
Min RK
23162fd289
Don't redirect from /edit/ to /files/
...
show failure to decode, instead
11 years ago
Matthias Bussonnier
7c84376596
savewidget does not require namespace
11 years ago
Min RK
d71a59cc9f
s/jupyter_notebook/notebook
11 years ago