10 Commits (dc02187827905ef8e249bdd1dcc3ce0904f00001)

Author	SHA1	Message	Date
Min RK	1e5bd77bda	s/mode/language/ ... for user-facing CodeMirror mode (hover text, language menu)	12 years ago
Min RK	03779746ab	Toggle line numbers in menu ... use 'Toggle' text, instead of switching between Show/Hide	12 years ago
Min RK	0b8920193f	add Mode menu to editor	12 years ago
Min RK	0cc0dead5d	add File/Rename	12 years ago
Min RK	c8a1f06179	fixup keyMap	12 years ago
Min RK	0c42d3659e	add File/New in editor	12 years ago
Min RK	85b6b280b2	allow selecting codemirror keymap in menu	12 years ago
Min RK	0efd335553	editor progress ... - load/store codemirror config - fill out menus a bit: - Edit/find,replace - View/toggle line numbers	12 years ago
Jonathan Frederic	b53386b37b	Ran function comment conversion tool	12 years ago
Thomas Kluyver	011beaa385	Rename texteditor files & folders to edit	12 years ago