9 Commits (39b99340ed722ce392a6c73a4baa598ee2cc4e39)

Author SHA1 Message Date
Thomas Kluyver 0c3c3b3c79 Fix instantiating config in editor and terminal
11 years ago
Thomas Kluyver 01331514bd Load common_config, and load extensions specified therein
11 years ago
Min RK c81609f5d6 redirect /edit/ to /files/ if not (utf8) text
11 years ago
Min RK 0cc0dead5d add File/Rename
11 years ago
Min RK d6282035fa add save widget to text editor
11 years ago
Min RK 776c9a0316 track dirty state in editor for onbeforeunload
11 years ago
Min RK 0efd335553 editor progress
11 years ago
Thomas Kluyver a5e065328b Extensions config for text editor
11 years ago
Thomas Kluyver 011beaa385 Rename texteditor files & folders to edit
11 years ago