Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/file-search
browser/quick-file-select-service
FilterAndRange

Interface FilterAndRange

interface FilterAndRange {
filter: string;
range?: Range;
}

Defined in browser/quick-file-select-service.ts:31

Index

Properties

Properties

filter

filter: string

Defined in browser/quick-file-select-service.ts:32

`Optional`range

range?: Range

Defined in browser/quick-file-select-service.ts:33

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...