23fad40f6d
add download link to editor
11 years ago
0118cfbd48
re-hook notification area for editor.
...
- re-order element to be the same as in notebook,
- rename events correctly.
- Add event on savign to show that save is in progress, that get
dismissed on file save
Closes #7569
11 years ago
5dea7ad30b
Split apart the body attributes and classes in the notebook templates
11 years ago
cda53215ba
Improve edit app
11 years ago
1e5bd77bda
s/mode/language/
...
for user-facing CodeMirror mode (hover text, language menu)
11 years ago
03779746ab
Toggle line numbers in menu
...
use 'Toggle' text, instead of switching between Show/Hide
11 years ago
0b8920193f
add Mode menu to editor
11 years ago
a53d467243
update edit page blocks after layout changes
11 years ago
0cc0dead5d
add File/Rename
11 years ago
d6282035fa
add save widget to text editor
11 years ago
c8a1f06179
fixup keyMap
11 years ago
85b6b280b2
allow selecting codemirror keymap in menu
11 years ago
9a504dd7c3
basic LESS for editor
11 years ago
0efd335553
editor progress
...
- load/store codemirror config
- fill out menus a bit:
- Edit/find,replace
- View/toggle line numbers
11 years ago
011beaa385
Rename texteditor files & folders to edit
11 years ago
Min RK
Bussonnier Matthias
Jason Grout
Jonathan Frederic
Thomas Kluyver