| 1 | import { ITranslator } from '@jupyterlab/translation';
|
| 2 | import { VirtualElement } from '@lumino/virtualdom';
|
| 3 | import { DockPanel, TabBar, TabPanel, Widget } from '@lumino/widgets';
|
| 4 | /**
|
| 5 | * a widget which displays titles as a single row or column of tabs.
|
| 6 | * Tweaked to use an inline svg as the close icon
|
| 7 | */
|
| 8 | export declare class TabBarSvg<T> extends TabBar<T> {
|
| 9 | /**
|
| 10 | * Translator object
|
| 11 | */
|
| 12 | static translator: ITranslator | null;
|
| 13 | /**
|
| 14 | * Construct a new tab bar. Overrides the default renderer.
|
| 15 | *
|
| 16 | * @param options - The options for initializing the tab bar.
|
| 17 | */
|
| 18 | constructor(options?: TabBar.IOptions<T>);
|
| 19 | }
|
| 20 | export declare namespace TabBarSvg {
|
| 21 | /**
|
| 22 | * A modified implementation of the TabBar Renderer.
|
| 23 | */
|
| 24 | class Renderer extends TabBar.Renderer {
|
| 25 | /**
|
| 26 | * Render the close icon element for a tab.
|
| 27 | *
|
| 28 | * @param data - The data to use for rendering the tab.
|
| 29 | *
|
| 30 | * @returns A virtual element representing the tab close icon.
|
| 31 | */
|
| 32 | renderCloseIcon(data: TabBar.IRenderData<any>): VirtualElement;
|
| 33 | }
|
| 34 | const defaultRenderer: Renderer;
|
| 35 | }
|
| 36 | /**
|
| 37 | * a widget which provides a flexible docking area for widgets.
|
| 38 | * Tweaked to use an inline svg as the close icon
|
| 39 | */
|
| 40 | export declare class DockPanelSvg extends DockPanel {
|
| 41 | /**
|
| 42 | * Construct a new dock panel.
|
| 43 | *
|
| 44 | * @param options - The options for initializing the panel.
|
| 45 | */
|
| 46 | constructor(options?: DockPanel.IOptions);
|
| 47 | }
|
| 48 | export declare namespace DockPanelSvg {
|
| 49 | /**
|
| 50 | * A modified implementation of the DockPanel Renderer.
|
| 51 | */
|
| 52 | class Renderer extends DockPanel.Renderer {
|
| 53 | /**
|
| 54 | * Create a new tab bar (with inline svg icons enabled
|
| 55 | * for use with a dock panel.
|
| 56 | *
|
| 57 | * @returns A new tab bar for a dock panel.
|
| 58 | */
|
| 59 | createTabBar(): TabBarSvg<Widget>;
|
| 60 | }
|
| 61 | const defaultRenderer: Renderer;
|
| 62 | }
|
| 63 | /**
|
| 64 | * A widget which combines a `TabBar` and a `StackedPanel`.
|
| 65 | * Tweaked to use an inline svg as the close icon
|
| 66 | */
|
| 67 | export declare class TabPanelSvg extends TabPanel {
|
| 68 | /**
|
| 69 | * Construct a new tab panel.
|
| 70 | *
|
| 71 | * @param options - The options for initializing the tab panel.
|
| 72 | */
|
| 73 | constructor(options?: TabPanel.IOptions);
|
| 74 | }
|