Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/bulk-edit
bulk-edit-tree/bulk-edit-node-selection
BulkEditNodeSelection

Interface BulkEditNodeSelection

interface BulkEditNodeSelection {
bulkEdit: ResourceFileEdit | ResourceTextEdit;
}

Defined in packages/bulk-edit/src/browser/bulk-edit-tree/bulk-edit-node-selection.ts:22
Defined in packages/bulk-edit/src/browser/bulk-edit-tree/bulk-edit-node-selection.ts:25

Index

Properties

Properties

bulkEdit

bulkEdit: ResourceFileEdit | ResourceTextEdit

Defined in packages/bulk-edit/src/browser/bulk-edit-tree/bulk-edit-node-selection.ts:23

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...