monkeyking

Author	SHA1	Message	Date
Min RK	c8a1f06179	fixup keyMap	12 years ago
Min RK	54324633ca	fixup	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	776c9a0316	track dirty state in editor for onbeforeunload	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
Nicholas Bollweg (Nick)	c72ad2754c	more fidgeting before starting over	12 years ago
Jonathan Frederic	b53386b37b	Ran function comment conversion tool	12 years ago
Scott Sanderson	6a8dfa492e	BUG: Prevent users from undoing the initial document load with CTRL-Z. Prior to this change, setting a document's initial content in the text editor created a history entry, which meant that hitting CTRL-Z repeatedly could clear the entire document. This change clears document history after loading so that repeated CTRL-Z applications return the document to its state at load time.	12 years ago
Thomas Kluyver	a5e065328b	Extensions config for text editor	12 years ago
Thomas Kluyver	011beaa385	Rename texteditor files & folders to edit	12 years ago