}, historyRedo: function() {
            var t3;
            return (t3 = this.delegate) != null ? t3.inputControllerWillPerformRedo() : void 0;
          }, historyUndo: function() {