10 Commits (a485fe42eaa99bc618ef9c6d70f8a2afbe770f2e)

Author SHA1 Message Date
Min RK 1e5bd77bda s/mode/language/
11 years ago
Min RK 03779746ab Toggle line numbers in menu
11 years ago
Min RK 0b8920193f add Mode menu to editor
11 years ago
Min RK 0cc0dead5d add File/Rename
11 years ago
Min RK c8a1f06179 fixup keyMap
11 years ago
Min RK 0c42d3659e add File/New in editor
11 years ago
Min RK 85b6b280b2 allow selecting codemirror keymap in menu
11 years ago
Min RK 0efd335553 editor progress
11 years ago
Jonathan Frederic b53386b37b Ran function comment conversion tool
11 years ago
Thomas Kluyver 011beaa385 Rename texteditor files & folders to edit
11 years ago