f499104d75
don't use flexbox to size `#site`
...
The approach in #7517 didn't work on Safari
(as in the entire page was invisible).
This is the same mechanism used to size the CodeMirror div on the edit page, and should work more reliably.
11 years ago
efe654e59d
Use longer version of document.ready
11 years ago
6b9558c613
Be a little more clear about sizing logic.
11 years ago
bdd40e2734
Explicitly size codemirror editor in Edit app
11 years ago
0c3c3b3c79
Fix instantiating config in editor and terminal
11 years ago
01331514bd
Load common_config, and load extensions specified therein
11 years ago
c81609f5d6
redirect /edit/ to /files/ if not (utf8) text
11 years ago
0cc0dead5d
add File/Rename
11 years ago
d6282035fa
add save widget to text editor
11 years ago
776c9a0316
track dirty state in editor for onbeforeunload
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
a5e065328b
Extensions config for text editor
11 years ago
011beaa385
Rename texteditor files & folders to edit
11 years ago
Min RK
Jonathan Frederic
Thomas Kluyver