8 Commits (0cc0dead5decedd189fd59e6407dd123cb43857c)

Author	SHA1	Message	Date
Min RK	d6282035fa	add save widget to text editor	11 years ago
Min RK	928c81df9d	setting an option to null sets the default in CodeMirror ... matching the unset behavior in config	11 years ago
Min RK	54324633ca	fixup	11 years ago
Min RK	776c9a0316	track dirty state in editor for onbeforeunload	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
Nicholas Bollweg (Nick)	c72ad2754c	more fidgeting before starting over	11 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.	11 years ago
Thomas Kluyver	011beaa385	Rename texteditor files & folders to edit	11 years ago