Add undo manager

scraperwiki · Apr 2, 2014 · 822dbfa · 822dbfa
1 parent d7d6c87
commit 822dbfa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/http/code.js b/http/code.js
@@ -90,6 +90,7 @@ var set_loaded_data = function(data) {
   clear_alerts()
   set_editor_mode(data)
   editor.setValue(data)
+  editor.getSession().getUndoManager().reset() // or else the user can undo the setValue
   update_dirty(false)
   done_initial_load()
 }