import * as H from 'history'; import * as React from 'react'; import * as GQL from '../backend/graphqlschema'; import { ConfigurationCascadeProps, ExtensionsControllerProps, ExtensionsProps } from '../extensions/ExtensionsClientCommonContext'; interface Props extends ConfigurationCascadeProps, ExtensionsProps, ExtensionsControllerProps { location: H.Location; history: H.History; user: GQL.IUser | null; isLightTheme: boolean; onThemeChange: () => void; isMainPage?: boolean; showHelpPopover: boolean; onHelpPopoverToggle: (visible?: boolean) => void; } export declare class NavLinks extends React.PureComponent { private subscriptions; componentWillUnmount(): void; private onClickInstall; render(): JSX.Element | null; private onHelpPopoverToggle; } export {}; //# sourceMappingURL=NavLinks.d.ts.map