export declare const selectedExtension$: import("rxjs").Observable<string>;
export declare const setSelectedExtension: (extIdent: string) => void;