Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
browser/undo-redo-service
UndoRedoService
Class UndoRedoService
Index
Constructors
constructor
Methods
push
Element
redo
remove
Elements
undo
Constructors
constructor
new
UndoRedoService
()
:
UndoRedoService
Returns
UndoRedoService
Methods
push
Element
pushElement
(
resource
:
URI
,
undo
:
()
=>
Promise
<
void
>
,
redo
:
()
=>
Promise
<
void
>
,
)
:
void
Parameters
resource
:
URI
undo
:
()
=>
Promise
<
void
>
redo
:
()
=>
Promise
<
void
>
Returns
void
redo
redo
(
resource
:
URI
)
:
void
Parameters
resource
:
URI
Returns
void
remove
Elements
removeElements
(
resource
:
URI
)
:
void
Parameters
resource
:
URI
Returns
void
undo
undo
(
resource
:
URI
)
:
void
Parameters
resource
:
URI
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Methods
push
Element
redo
remove
Elements
undo
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...