import { SearchResultsPanelProps } from "./search-results-panel";
import { Routes } from '~/routes/routes';
import { Link } from 'react-router-dom';
-import { StyleRulesCallback, withStyles, WithStyles, Button } from '@material-ui/core';
+import { StyleRulesCallback, withStyles, WithStyles } from '@material-ui/core';
import { ArvadosTheme } from '~/common/custom-theme';
export enum SearchResultsPanelColumnNames {
title={
<div>{(props.localCluster !== homeCluster && loggedIn.length === 1) ?
<span>Searching local cluster {props.localCluster} only. To search multiple clusters, <a href={props.remoteHostsConfig[homeCluster] && props.remoteHostsConfig[homeCluster].workbench2Url}> start from your home Workbench.</a></span> :
- <span>Searching clusters: {loggedIn.map((ss) => <span key={ss.clusterId}> {ss.clusterId}</span>)}</span>}
- <Link to={Routes.SITE_MANAGER} >
- <Button className={props.classes.siteManagerLink} >Site Manager</Button>
- </Link>
- </div>
+ <span>Searching clusters: {loggedIn.map((ss) => <span key={ss.clusterId}> <a href={props.remoteHostsConfig[ss.clusterId].workbench2Url}> {ss.clusterId}</a></span>)}</span>}
+ <span style={{ marginLeft: "2em" }}>Use <Link to={Routes.SITE_MANAGER} >Site Manager</Link> to manage which clusters will be searched.</span>
+ </div >
}
/>;
});