Theia API Documentation v1.66.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia
FileDeleteEvent
Interface FileDeleteEvent
An event that is fired after files are deleted.
interface
FileDeleteEvent
{
files
:
readonly
Uri
[]
;
}
Index
Properties
files
Properties
Readonly
files
files
:
readonly
Uri
[]
The files that got deleted.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
files
Eclipse Theia Website
GitHub
Theia API Documentation v1.66.0
Loading...
An event that is fired after files are deleted.