anchor.diff:      REPL.prototype.onEnterKey = function() {
           var text = this.getInput();
           if(text != "" && text !== undefined) {
  -            this.previousCommandOffset = this.previousCommands.push(text);
  +            var previousCommands = JSON.parse(localStorage.getItem("previousCommands"));
  +            this.previousCommandOffset = previousCommands.push(text);
  +            localStorage.setItem("previousCommands", JSON.stringify(previousCommands));
           }
           this.setInput("");
           this.sendInput(text);
  
positive.code:     function REPL(index) {
          this.index = index;
          
          this.previousCommands = [];
          this.previousCommandOffset = 0;
      }
      
      REPL.all = [];
  
negative.code:             return;
          }
          
          if(this.previousCommandOffset >= previousCommands.length) {
              this.previousCommandOffset = previousCommands.length;
              this.setInput("");
              return;
          }
          
          this.setInput(previousCommands[this.previousCommandOffset]);
      };
      
      REPL.prototype.onKeyDown = function(ev) {
  