import { TabBar } from "@lumino/widgets"; import { Menu } from "@lumino/widgets"; import { PerspectiveWorkspace } from "./workspace"; import { Message } from "@lumino/messaging"; import { Title } from "@lumino/widgets"; export declare class PerspectiveTabBar extends TabBar { _workspace: PerspectiveWorkspace; __content_node__?: HTMLElement; _menu?: Menu; __titles: string[]; constructor(workspace: PerspectiveWorkspace, options?: {}); get private_titles(): Title[]; onUpdateRequest(msg: Message): void; onClick(otherTitles: Title[], index: number, event: MouseEvent): void; _check_shade(): void; handleEvent(event: MouseEvent): void; /** * Shadow dom targets events at the host, not the clicked element, which * Lumino dislikes. This makes the event look like it is not crossing * the ShadowDom boundary. * */ retargetEvent(event: MouseEvent): MouseEvent; _addEventListeners(): void; }