Merge pull request #10 from ethereum/undo

Fix undo problems.
pull/1/head
chriseth 9 years ago
commit faf8e8cf40
  1. 1
      src/app.js

@ -184,6 +184,7 @@ var run = function() {
function newEditorSession(filekey) {
var s = new ace.EditSession(window.localStorage[filekey], "ace/mode/javascript")
s.setUndoManager(new ace.UndoManager());
s.setTabSize(4);
s.setUseSoftTabs(true);
sessions[filekey] = s;

Loading…
Cancel
Save