Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
main/browser/custom-editors/custom-editor-undo-redo-handler
CustomEditorUndoRedoHandler
Class CustomEditorUndoRedoHandler
Implements
UndoRedoHandler
<
CustomEditorWidget
>
Index
Constructors
constructor
Properties
application
Shell
priority
Methods
redo
select
undo
Constructors
constructor
new
CustomEditorUndoRedoHandler
()
:
CustomEditorUndoRedoHandler
Returns
CustomEditorUndoRedoHandler
Properties
Protected
Readonly
application
Shell
applicationShell
:
ApplicationShell
priority
priority
:
number
= 190
Methods
redo
redo
(
item
:
CustomEditorWidget
)
:
void
Parameters
item
:
CustomEditorWidget
Returns
void
select
select
()
:
undefined
|
CustomEditorWidget
Returns
undefined
|
CustomEditorWidget
undo
undo
(
item
:
CustomEditorWidget
)
:
void
Parameters
item
:
CustomEditorWidget
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
application
Shell
priority
Methods
redo
select
undo
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...