123 var _undo = new undo_1.Undo();
586 var Undo = /** @class */ (function () {  function
587     function Undo() {  class in AnonymousFunction4dce81d40100.AnonymousFunction4dce81d42100.Undo
646     Undo.prototype.getUndoStack = function () {  class
649     Undo.prototype.getRedoStack = function () {
652     Undo.prototype.clearUndoStack = function () {
655     Undo.prototype.clearRedoStack = function () {
658     Undo.prototype.updateConfigs = function () {
665     Undo.prototype.undo = function () {
684     Undo.prototype.redo = function () {
704     Undo.prototype.logAction = function (action) {
708     Undo.prototype._push = function (stack, action) {
726     Undo.prototype._pop = function (stack) {
729     Undo.prototype._reorderCommands = function (action) {
754     Undo.prototype._applyAction = function (action) {
803     return Undo;
805 exports.Undo = Undo;