@codingame/monaco-vscode-api 4.5.1 → 4.5.2

package/vscode/src/vs/platform/undoRedo/common/undoRedoService.js

@@ -9,6 +9,7 @@ import { registerSingleton } from '../../instantiation/common/extensions.js';
 import { INotificationService } from '../../notification/common/notification.service.js';
 import { ResourceEditStackSnapshot, UndoRedoGroup, UndoRedoSource } from './undoRedo.js';
 import { IUndoRedoService } from './undoRedo.service.js';
+const _moduleId = "vs/platform/undoRedo/common/undoRedoService";
 function getResourceLabel(resource) {
     return resource.scheme === Schemas.file ? resource.fsPath : resource.path;
 }
@@ -45,7 +46,7 @@ class ResourceReasonPair {
 }
 class RemovedResources {
     constructor() {
-        this.elements = ( new Map());
+        this.elements = ( (new Map()));
     }
     createMessage() {
         const externalRemoval = [];
@@ -59,16 +60,16 @@ class RemovedResources {
         const messages = [];
         if (externalRemoval.length > 0) {
             messages.push(( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'externalRemoval', comment: ['{0} is a list of filenames'] },
+                _moduleId,
+                0,
                 "The following files have been closed and modified on disk: {0}.",
                 externalRemoval.join(', ')
             )));
         }
         if (noParallelUniverses.length > 0) {
             messages.push(( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'noParallelUniverses', comment: ['{0} is a list of filenames'] },
+                _moduleId,
+                1,
                 "The following files have been modified in an incompatible way: {0}.",
                 noParallelUniverses.join(', ')
             )));
@@ -79,7 +80,9 @@ class RemovedResources {
         return this.elements.size;
     }
     has(strResource) {
-        return ( this.elements.has(strResource));
+        return (
+             (this.elements.has(strResource))
+        );
     }
     set(strResource, value) {
         this.elements.set(strResource, value);
@@ -109,10 +112,10 @@ class WorkspaceStackElement {
     }
     removeResource(resourceLabel, strResource, reason) {
         if (!this.removedResources) {
-            this.removedResources = ( new RemovedResources());
+            this.removedResources = ( (new RemovedResources()));
         }
-        if (!( this.removedResources.has(strResource))) {
-            this.removedResources.set(strResource, ( new ResourceReasonPair(resourceLabel, reason)));
+        if (!( (this.removedResources.has(strResource)))) {
+            this.removedResources.set(strResource, ( (new ResourceReasonPair(resourceLabel, reason))));
         }
     }
     setValid(resourceLabel, strResource, isValid) {
@@ -126,10 +129,10 @@ class WorkspaceStackElement {
         }
         else {
             if (!this.invalidatedResources) {
-                this.invalidatedResources = ( new RemovedResources());
+                this.invalidatedResources = ( (new RemovedResources()));
             }
-            if (!( this.invalidatedResources.has(strResource))) {
-                this.invalidatedResources.set(strResource, ( new ResourceReasonPair(resourceLabel, 0 )));
+            if (!( (this.invalidatedResources.has(strResource)))) {
+                this.invalidatedResources.set(strResource, ( (new ResourceReasonPair(resourceLabel, 0 ))));
             }
         }
     }
@@ -231,7 +234,9 @@ class ResourceEditStack {
         for (let i = this._future.length - 1; i >= 0; i--) {
             elements.push(this._future[i].id);
         }
-        return ( new ResourceEditStackSnapshot(resource, elements));
+        return (
+             (new ResourceEditStackSnapshot(resource, elements))
+        );
     }
     restoreSnapshot(snapshot) {
         const snapshotLength = snapshot.elements.length;
@@ -305,7 +310,7 @@ class ResourceEditStack {
     splitPastWorkspaceElement(toRemove, individualMap) {
         for (let j = this._past.length - 1; j >= 0; j--) {
             if (this._past[j] === toRemove) {
-                if (( individualMap.has(this.strResource))) {
+                if (( (individualMap.has(this.strResource)))) {
                     this._past[j] = individualMap.get(this.strResource);
                 }
                 else {
@@ -319,7 +324,7 @@ class ResourceEditStack {
     splitFutureWorkspaceElement(toRemove, individualMap) {
         for (let j = this._future.length - 1; j >= 0; j--) {
             if (this._future[j] === toRemove) {
-                if (( individualMap.has(this.strResource))) {
+                if (( (individualMap.has(this.strResource)))) {
                     this._future[j] = individualMap.get(this.strResource);
                 }
                 else {
@@ -358,13 +363,13 @@ class EditStackSnapshot {
         return true;
     }
 }
-const missingEditStack = ( new ResourceEditStack('', ''));
+const missingEditStack = ( (new ResourceEditStack('', '')));
 missingEditStack.locked = true;
 let UndoRedoService = class UndoRedoService {
     constructor(_dialogService, _notificationService) {
         this._dialogService = _dialogService;
         this._notificationService = _notificationService;
-        this._editStacks = ( new Map());
+        this._editStacks = ( (new Map()));
         this._uriComparisonKeyComputers = [];
     }
     registerUriComparisonKeyComputer(scheme, uriComparisonKeyComputer) {
@@ -386,14 +391,16 @@ let UndoRedoService = class UndoRedoService {
                 return uriComparisonKeyComputer[1].getComparisonKey(resource);
             }
         }
-        return ( resource.toString());
+        return (
+             (resource.toString())
+        );
     }
     _print(label) {
         console.log(`------------------------------------`);
         console.log(`AFTER ${label}: `);
         const str = [];
         for (const element of this._editStacks) {
-            str.push(( element[1].toString()));
+            str.push(( (element[1].toString())));
         }
         console.log(str.join('\n'));
     }
@@ -401,7 +408,7 @@ let UndoRedoService = class UndoRedoService {
         if (element.type === 0 ) {
             const resourceLabel = getResourceLabel(element.resource);
             const strResource = this.getUriComparisonKey(element.resource);
-            this._pushElement(( new ResourceStackElement(
+            this._pushElement(( (new ResourceStackElement(
                 element,
                 resourceLabel,
                 strResource,
@@ -409,16 +416,16 @@ let UndoRedoService = class UndoRedoService {
                 group.nextOrder(),
                 source.id,
                 source.nextOrder()
-            )));
+            ))));
         }
         else {
-            const seen = ( new Set());
+            const seen = ( (new Set()));
             const resourceLabels = [];
             const strResources = [];
             for (const resource of element.resources) {
                 const resourceLabel = getResourceLabel(resource);
                 const strResource = this.getUriComparisonKey(resource);
-                if (( seen.has(strResource))) {
+                if (( (seen.has(strResource)))) {
                     continue;
                 }
                 seen.add(strResource);
@@ -426,7 +433,7 @@ let UndoRedoService = class UndoRedoService {
                 strResources.push(strResource);
             }
             if (resourceLabels.length === 1) {
-                this._pushElement(( new ResourceStackElement(
+                this._pushElement(( (new ResourceStackElement(
                     element,
                     resourceLabels[0],
                     strResources[0],
@@ -434,10 +441,10 @@ let UndoRedoService = class UndoRedoService {
                     group.nextOrder(),
                     source.id,
                     source.nextOrder()
-                )));
+                ))));
             }
             else {
-                this._pushElement(( new WorkspaceStackElement(
+                this._pushElement(( (new WorkspaceStackElement(
                     element,
                     resourceLabels,
                     strResources,
@@ -445,7 +452,7 @@ let UndoRedoService = class UndoRedoService {
                     group.nextOrder(),
                     source.id,
                     source.nextOrder()
-                )));
+                ))));
             }
         }
     }
@@ -454,11 +461,11 @@ let UndoRedoService = class UndoRedoService {
             const resourceLabel = element.resourceLabels[i];
             const strResource = element.strResources[i];
             let editStack;
-            if (( this._editStacks.has(strResource))) {
+            if (( (this._editStacks.has(strResource)))) {
                 editStack = this._editStacks.get(strResource);
             }
             else {
-                editStack = ( new ResourceEditStack(resourceLabel, strResource));
+                editStack = ( (new ResourceEditStack(resourceLabel, strResource)));
                 this._editStacks.set(strResource, editStack);
             }
             editStack.pushElement(element);
@@ -466,7 +473,7 @@ let UndoRedoService = class UndoRedoService {
     }
     getLastElement(resource) {
         const strResource = this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             if (editStack.hasFutureElements()) {
                 return null;
@@ -478,15 +485,15 @@ let UndoRedoService = class UndoRedoService {
     }
     _splitPastWorkspaceElement(toRemove, ignoreResources) {
         const individualArr = toRemove.actual.split();
-        const individualMap = ( new Map());
+        const individualMap = ( (new Map()));
         for (const _element of individualArr) {
             const resourceLabel = getResourceLabel(_element.resource);
             const strResource = this.getUriComparisonKey(_element.resource);
-            const element = ( new ResourceStackElement(_element, resourceLabel, strResource, 0, 0, 0, 0));
+            const element = ( (new ResourceStackElement(_element, resourceLabel, strResource, 0, 0, 0, 0)));
             individualMap.set(element.strResource, element);
         }
         for (const strResource of toRemove.strResources) {
-            if (ignoreResources && ( ignoreResources.has(strResource))) {
+            if (ignoreResources && ( (ignoreResources.has(strResource)))) {
                 continue;
             }
             const editStack = this._editStacks.get(strResource);
@@ -495,15 +502,15 @@ let UndoRedoService = class UndoRedoService {
     }
     _splitFutureWorkspaceElement(toRemove, ignoreResources) {
         const individualArr = toRemove.actual.split();
-        const individualMap = ( new Map());
+        const individualMap = ( (new Map()));
         for (const _element of individualArr) {
             const resourceLabel = getResourceLabel(_element.resource);
             const strResource = this.getUriComparisonKey(_element.resource);
-            const element = ( new ResourceStackElement(_element, resourceLabel, strResource, 0, 0, 0, 0));
+            const element = ( (new ResourceStackElement(_element, resourceLabel, strResource, 0, 0, 0, 0)));
             individualMap.set(element.strResource, element);
         }
         for (const strResource of toRemove.strResources) {
-            if (ignoreResources && ( ignoreResources.has(strResource))) {
+            if (ignoreResources && ( (ignoreResources.has(strResource)))) {
                 continue;
             }
             const editStack = this._editStacks.get(strResource);
@@ -512,7 +519,7 @@ let UndoRedoService = class UndoRedoService {
     }
     removeElements(resource) {
         const strResource = typeof resource === 'string' ? resource : this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             editStack.dispose();
             this._editStacks.delete(strResource);
@@ -520,14 +527,14 @@ let UndoRedoService = class UndoRedoService {
     }
     setElementsValidFlag(resource, isValid, filter) {
         const strResource = this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             editStack.setElementsValidFlag(isValid, filter);
         }
     }
     hasElements(resource) {
         const strResource = this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             return (editStack.hasPastElements() || editStack.hasFutureElements());
         }
@@ -535,15 +542,17 @@ let UndoRedoService = class UndoRedoService {
     }
     createSnapshot(resource) {
         const strResource = this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             return editStack.createSnapshot(resource);
         }
-        return ( new ResourceEditStackSnapshot(resource, []));
+        return (
+             (new ResourceEditStackSnapshot(resource, []))
+        );
     }
     restoreSnapshot(snapshot) {
         const strResource = this.getUriComparisonKey(snapshot.resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             editStack.restoreSnapshot(snapshot);
             if (!editStack.hasPastElements() && !editStack.hasFutureElements()) {
@@ -554,7 +563,7 @@ let UndoRedoService = class UndoRedoService {
     }
     getElements(resource) {
         const strResource = this.getUriComparisonKey(resource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             return editStack.getElements();
         }
@@ -586,7 +595,7 @@ let UndoRedoService = class UndoRedoService {
             return matchedStrResource ? true : false;
         }
         const strResource = this.getUriComparisonKey(resourceOrSource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             return editStack.hasPastElements();
         }
@@ -602,7 +611,7 @@ let UndoRedoService = class UndoRedoService {
     _acquireLocks(editStackSnapshot) {
         for (const editStack of editStackSnapshot.editStacks) {
             if (editStack.locked) {
-                throw new Error('Cannot acquire edit stack lock');
+                throw ( (new Error('Cannot acquire edit stack lock')));
             }
         }
         for (const editStack of editStackSnapshot.editStacks) {
@@ -672,27 +681,33 @@ let UndoRedoService = class UndoRedoService {
         for (const strResource of element.strResources) {
             affectedEditStacks.push(this._editStacks.get(strResource) || missingEditStack);
         }
-        return ( new EditStackSnapshot(affectedEditStacks));
+        return (
+             (new EditStackSnapshot(affectedEditStacks))
+        );
     }
     _tryToSplitAndUndo(strResource, element, ignoreResources, message) {
         if (element.canSplit()) {
             this._splitPastWorkspaceElement(element, ignoreResources);
             this._notificationService.warn(message);
-            return ( new WorkspaceVerificationError(this._undo(strResource, 0, true)));
+            return (
+                 (new WorkspaceVerificationError(this._undo(strResource, 0, true)))
+            );
         }
         else {
             for (const strResource of element.strResources) {
                 this.removeElements(strResource);
             }
             this._notificationService.warn(message);
-            return ( new WorkspaceVerificationError());
+            return (
+                 (new WorkspaceVerificationError())
+            );
         }
     }
     _checkWorkspaceUndo(strResource, element, editStackSnapshot, checkInvalidatedResources) {
         if (element.removedResources) {
             return this._tryToSplitAndUndo(strResource, element, element.removedResources, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceUndo', comment: ['{0} is a label for an operation. {1} is another message.'] },
+                _moduleId,
+                2,
                 "Could not undo '{0}' across all files. {1}",
                 element.label,
                 element.removedResources.createMessage()
@@ -700,8 +715,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (checkInvalidatedResources && element.invalidatedResources) {
             return this._tryToSplitAndUndo(strResource, element, element.invalidatedResources, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceUndo', comment: ['{0} is a label for an operation. {1} is another message.'] },
+                _moduleId,
+                2,
                 "Could not undo '{0}' across all files. {1}",
                 element.label,
                 element.invalidatedResources.createMessage()
@@ -715,8 +730,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (cannotUndoDueToResources.length > 0) {
             return this._tryToSplitAndUndo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceUndoDueToChanges', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                3,
                 "Could not undo '{0}' across all files because changes were made to {1}",
                 element.label,
                 cannotUndoDueToResources.join(', ')
@@ -730,8 +745,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (cannotLockDueToResources.length > 0) {
             return this._tryToSplitAndUndo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceUndoDueToInProgressUndoRedo', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                4,
                 "Could not undo '{0}' across all files because there is already an undo or redo operation running on {1}",
                 element.label,
                 cannotLockDueToResources.join(', ')
@@ -739,8 +754,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (!editStackSnapshot.isValid()) {
             return this._tryToSplitAndUndo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceUndoDueToInMeantimeUndoRedo', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                5,
                 "Could not undo '{0}' across all files because an undo or redo operation occurred in the meantime",
                 element.label
             )));
@@ -779,35 +794,26 @@ let UndoRedoService = class UndoRedoService {
     async _confirmAndExecuteWorkspaceUndo(strResource, element, editStackSnapshot, undoConfirmed) {
         if (element.canSplit() && !this._isPartOfUndoGroup(element)) {
             let UndoChoice;
-            ( (function(UndoChoice) {
+            ( ((function(UndoChoice) {
                 UndoChoice[UndoChoice["All"] = 0] = "All";
                 UndoChoice[UndoChoice["This"] = 1] = "This";
                 UndoChoice[UndoChoice["Cancel"] = 2] = "Cancel";
-            })(UndoChoice || (UndoChoice = {})));
+            })(UndoChoice || (UndoChoice = {}))));
             const { result } = await this._dialogService.prompt({
                 type: Severity$1.Info,
                 message: ( localizeWithPath(
-                    'vs/platform/undoRedo/common/undoRedoService',
-                    'confirmWorkspace',
+                    _moduleId,
+                    6,
                     "Would you like to undo '{0}' across all files?",
                     element.label
                 )),
                 buttons: [
                     {
-                        label: ( localizeWithPath(
-                            'vs/platform/undoRedo/common/undoRedoService',
-                            { key: 'ok', comment: ['{0} denotes a number that is > 1, && denotes a mnemonic'] },
-                            "&&Undo in {0} Files",
-                            editStackSnapshot.editStacks.length
-                        )),
+                        label: ( localizeWithPath(_moduleId, 7, "&&Undo in {0} Files", editStackSnapshot.editStacks.length)),
                         run: () => UndoChoice.All
                     },
                     {
-                        label: ( localizeWithPath(
-                            'vs/platform/undoRedo/common/undoRedoService',
-                            { key: 'nok', comment: ['&& denotes a mnemonic'] },
-                            "Undo this &&File"
-                        )),
+                        label: ( localizeWithPath(_moduleId, 8, "Undo this &&File")),
                         run: () => UndoChoice.This
                     }
                 ],
@@ -852,8 +858,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (editStack.locked) {
             const message = ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotResourceUndoDueToInProgressUndoRedo', comment: ['{0} is a label for an operation.'] },
+                _moduleId,
+                9,
                 "Could not undo '{0}' because there is already an undo or redo operation running.",
                 element.label
             ));
@@ -862,7 +868,7 @@ let UndoRedoService = class UndoRedoService {
         }
         return this._invokeResourcePrepare(element, (cleanup) => {
             editStack.moveBackward(element);
-            return this._safeInvokeWithLocks(element, () => element.actual.undo(), ( new EditStackSnapshot([editStack])), cleanup, () => this._continueUndoInGroup(element.groupId, undoConfirmed));
+            return this._safeInvokeWithLocks(element, () => element.actual.undo(), ( (new EditStackSnapshot([editStack]))), cleanup, () => this._continueUndoInGroup(element.groupId, undoConfirmed));
         });
     }
     _findClosestUndoElementInGroup(groupId) {
@@ -905,7 +911,7 @@ let UndoRedoService = class UndoRedoService {
         return this._undo(this.getUriComparisonKey(resourceOrSource), 0, false);
     }
     _undo(strResource, sourceId = 0, undoConfirmed) {
-        if (!( this._editStacks.has(strResource))) {
+        if (!( (this._editStacks.has(strResource)))) {
             return;
         }
         const editStack = this._editStacks.get(strResource);
@@ -936,22 +942,9 @@ let UndoRedoService = class UndoRedoService {
     }
     async _confirmAndContinueUndo(strResource, sourceId, element) {
         const result = await this._dialogService.confirm({
-            message: ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                'confirmDifferentSource',
-                "Would you like to undo '{0}'?",
-                element.label
-            )),
-            primaryButton: ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'confirmDifferentSource.yes', comment: ['&& denotes a mnemonic'] },
-                "&&Yes"
-            )),
-            cancelButton: ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                'confirmDifferentSource.no',
-                "No"
-            ))
+            message: ( localizeWithPath(_moduleId, 10, "Would you like to undo '{0}'?", element.label)),
+            primaryButton: ( localizeWithPath(_moduleId, 11, "&&Yes")),
+            cancelButton: ( localizeWithPath(_moduleId, 12, "No"))
         });
         if (!result.confirmed) {
             return;
@@ -984,7 +977,7 @@ let UndoRedoService = class UndoRedoService {
             return matchedStrResource ? true : false;
         }
         const strResource = this.getUriComparisonKey(resourceOrSource);
-        if (( this._editStacks.has(strResource))) {
+        if (( (this._editStacks.has(strResource)))) {
             const editStack = this._editStacks.get(strResource);
             return editStack.hasFutureElements();
         }
@@ -994,21 +987,25 @@ let UndoRedoService = class UndoRedoService {
         if (element.canSplit()) {
             this._splitFutureWorkspaceElement(element, ignoreResources);
             this._notificationService.warn(message);
-            return ( new WorkspaceVerificationError(this._redo(strResource)));
+            return (
+                 (new WorkspaceVerificationError(this._redo(strResource)))
+            );
         }
         else {
             for (const strResource of element.strResources) {
                 this.removeElements(strResource);
             }
             this._notificationService.warn(message);
-            return ( new WorkspaceVerificationError());
+            return (
+                 (new WorkspaceVerificationError())
+            );
         }
     }
     _checkWorkspaceRedo(strResource, element, editStackSnapshot, checkInvalidatedResources) {
         if (element.removedResources) {
             return this._tryToSplitAndRedo(strResource, element, element.removedResources, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceRedo', comment: ['{0} is a label for an operation. {1} is another message.'] },
+                _moduleId,
+                13,
                 "Could not redo '{0}' across all files. {1}",
                 element.label,
                 element.removedResources.createMessage()
@@ -1016,8 +1013,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (checkInvalidatedResources && element.invalidatedResources) {
             return this._tryToSplitAndRedo(strResource, element, element.invalidatedResources, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceRedo', comment: ['{0} is a label for an operation. {1} is another message.'] },
+                _moduleId,
+                13,
                 "Could not redo '{0}' across all files. {1}",
                 element.label,
                 element.invalidatedResources.createMessage()
@@ -1031,8 +1028,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (cannotRedoDueToResources.length > 0) {
             return this._tryToSplitAndRedo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceRedoDueToChanges', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                14,
                 "Could not redo '{0}' across all files because changes were made to {1}",
                 element.label,
                 cannotRedoDueToResources.join(', ')
@@ -1046,8 +1043,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (cannotLockDueToResources.length > 0) {
             return this._tryToSplitAndRedo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceRedoDueToInProgressUndoRedo', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                15,
                 "Could not redo '{0}' across all files because there is already an undo or redo operation running on {1}",
                 element.label,
                 cannotLockDueToResources.join(', ')
@@ -1055,8 +1052,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (!editStackSnapshot.isValid()) {
             return this._tryToSplitAndRedo(strResource, element, null, ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotWorkspaceRedoDueToInMeantimeUndoRedo', comment: ['{0} is a label for an operation. {1} is a list of filenames.'] },
+                _moduleId,
+                16,
                 "Could not redo '{0}' across all files because an undo or redo operation occurred in the meantime",
                 element.label
             )));
@@ -1096,8 +1093,8 @@ let UndoRedoService = class UndoRedoService {
         }
         if (editStack.locked) {
             const message = ( localizeWithPath(
-                'vs/platform/undoRedo/common/undoRedoService',
-                { key: 'cannotResourceRedoDueToInProgressUndoRedo', comment: ['{0} is a label for an operation.'] },
+                _moduleId,
+                17,
                 "Could not redo '{0}' because there is already an undo or redo operation running.",
                 element.label
             ));
@@ -1106,7 +1103,7 @@ let UndoRedoService = class UndoRedoService {
         }
         return this._invokeResourcePrepare(element, (cleanup) => {
             editStack.moveForward(element);
-            return this._safeInvokeWithLocks(element, () => element.actual.redo(), ( new EditStackSnapshot([editStack])), cleanup, () => this._continueRedoInGroup(element.groupId));
+            return this._safeInvokeWithLocks(element, () => element.actual.redo(), ( (new EditStackSnapshot([editStack]))), cleanup, () => this._continueRedoInGroup(element.groupId));
         });
     }
     _findClosestRedoElementInGroup(groupId) {
@@ -1149,7 +1146,7 @@ let UndoRedoService = class UndoRedoService {
         return this._redo(this.getUriComparisonKey(resourceOrSource));
     }
     _redo(strResource) {
-        if (!( this._editStacks.has(strResource))) {
+        if (!( (this._editStacks.has(strResource)))) {
             return;
         }
         const editStack = this._editStacks.get(strResource);
@@ -1175,10 +1172,10 @@ let UndoRedoService = class UndoRedoService {
         }
     }
 };
-UndoRedoService = ( __decorate([
-    ( __param(0, IDialogService)),
-    ( __param(1, INotificationService))
-], UndoRedoService));
+UndoRedoService = ( (__decorate([
+    ( (__param(0, IDialogService))),
+    ( (__param(1, INotificationService)))
+], UndoRedoService)));
 class WorkspaceVerificationError {
     constructor(returnValue) {
         this.returnValue = returnValue;