@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
10 lines • 322 B
TypeScript
import URI from './uri';
export interface UriSelection {
readonly uri: URI;
}
export declare namespace UriSelection {
function is(arg: unknown): arg is UriSelection;
function getUri(selection: unknown): URI | undefined;
function getUris(selection: unknown): URI[];
}
//# sourceMappingURL=selection.d.ts.map