Class ResourceEditStack

Hierarchy

ResourceEditStack

Index

Constructors

constructor

Properties

Methods

Constructors

constructor

new ResourceEditStack(): ResourceEditStack

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:87
Returns ResourceEditStack

Properties

Private future

future: StackElement[]

Private past

past: StackElement[]

Methods

getClosestFutureElement

getClosestFutureElement(): null | StackElement

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:104
Returns null | StackElement

getClosestPastElement

getClosestPastElement(): null | StackElement

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:97
Returns null | StackElement

moveBackward

moveBackward(element: StackElement): void

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:111
Parameters
- element: StackElement
Returns void

moveForward

moveForward(element: StackElement): void

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:116
Parameters
- element: StackElement
Returns void

pushElement

pushElement(element: StackElement): void

- Defined in packages/plugin-ext/src/main/browser/custom-editors/undo-redo-service.ts:92
Parameters
- element: StackElement
Returns void