10 Commits (6eda2d80f96c331d8eeb380fe763714cfef2c4e9)

Author	SHA1	Message	Date
Min RK	1e5bd77bda	s/mode/language/ ... for user-facing CodeMirror mode (hover text, language menu)	11 years ago
Min RK	03779746ab	Toggle line numbers in menu ... use 'Toggle' text, instead of switching between Show/Hide	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 ... - load/store codemirror config - fill out menus a bit: - Edit/find,replace - View/toggle line numbers	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