monkeyking

Author	SHA1	Message	Date
Bussonnier Matthias	4513aae2b9	[editor] mark unsaved changes Put indicator before time, change title. And cleanup implementation.	11 years ago
Thomas Kluyver	708088d74a	Merge pull request #7586 from Carreau/notif-editor re-hook notification area for editor.	11 years ago
Min RK	b5ba6caf72	fix CodeMirror div measurement on edit page was measuring the wrong elements, causing the CM div to not fit on the page, resulting in multiple scrollbars.	11 years ago
Bussonnier Matthias	0118cfbd48	re-hook notification area for editor. - re-order element to be the same as in notebook, - rename events correctly. - Add event on savign to show that save is in progress, that get dismissed on file save Closes #7569	11 years ago
Jonathan Frederic	2c714357c4	Review comments	11 years ago
Jonathan Frederic	096b1638bf	Remove padding on editor	11 years ago
Jonathan Frederic	cda53215ba	Improve edit app	11 years ago
Min RK	0b8920193f	add Mode menu to editor	11 years ago
Min RK	9a504dd7c3	basic LESS for editor	11 years ago