1 | import { URI, MaybeArray } from '../common';
|
2 | import { Widget, BaseWidget } from './widgets';
|
3 |
|
4 |
|
5 |
|
6 | export interface Navigatable {
|
7 | |
8 |
|
9 |
|
10 | getResourceUri(): URI | undefined;
|
11 | |
12 |
|
13 |
|
14 | createMoveToUri(resourceUri: URI): URI | undefined;
|
15 | }
|
16 | export declare namespace Navigatable {
|
17 | function is(arg: unknown): arg is Navigatable;
|
18 | }
|
19 | export declare type NavigatableWidget = BaseWidget & Navigatable;
|
20 | export declare namespace NavigatableWidget {
|
21 | function is(arg: unknown): arg is NavigatableWidget;
|
22 | function getAffected<T extends Widget>(widgets: Iterable<T>, context: MaybeArray<URI>): IterableIterator<[URI, T & NavigatableWidget]>;
|
23 | function get<T extends Widget>(widgets: Iterable<T>, filter?: (resourceUri: URI) => boolean): IterableIterator<[URI, T & NavigatableWidget]>;
|
24 | function getUri(widget?: Widget): URI | undefined;
|
25 | }
|
26 | export interface NavigatableWidgetOptions {
|
27 | kind: 'navigatable';
|
28 | uri: string;
|
29 | counter?: number;
|
30 | }
|
31 | export declare namespace NavigatableWidgetOptions {
|
32 | function is(arg: unknown): arg is NavigatableWidgetOptions;
|
33 | }
|
34 |
|
\ | No newline at end of file |