@jupyterlab/debugger/lib/panels/kernelSources/filter.d.ts

JupyterLab - Debugger Extension

import { IDebugger } from '../../tokens';
import { TranslationBundle } from '@jupyterlab/translation';
/**
 * The class name added to the filebrowser crumbs node.
 */
export interface IFilterBoxProps {
    model: IDebugger.Model.IKernelSources;
    /**
     * The language bundle.
     */
    trans: TranslationBundle;
}
/**
 * A widget which hosts a input textbox to filter on file names.
 */
export declare const KernelSourcesFilter: (props: IFilterBoxProps) => JSX.Element;