import { ITranslator } from '@jupyterlab/translation'; import * as React from 'react'; import { IShortcutUI } from '../types'; export interface IAdvancedOptionsProps { toggleSelectors: IShortcutUI['toggleSelectors']; showSelectors: boolean; resetShortcuts: IShortcutUI['resetShortcuts']; translator: ITranslator; } export interface ISymbolsProps { } /** State for TopNav component */ export interface ITopNavProps { resetShortcuts: IShortcutUI['resetShortcuts']; updateSearchQuery: IShortcutUI['updateSearchQuery']; toggleSelectors: IShortcutUI['toggleSelectors']; showSelectors: boolean; updateSort: IShortcutUI['updateSort']; currentSort: string; width: number; translator: ITranslator; } /** React component for top navigation */ export declare class TopNav extends React.Component { constructor(props: ITopNavProps); getShortCutTitleItem(title: string, columnId: IShortcutUI.ColumnId): JSX.Element; render(): JSX.Element; }