X-Git-Url: https://git.arvados.org/arvados-workbench2.git/blobdiff_plain/f06094d87f1c1b1bb8e886dd723bcdf17f0b727d..d6d283b6be9a614915b63e1ca66572a3aaf9d41e:/src/views/search-results-panel/search-results-panel-view.tsx diff --git a/src/views/search-results-panel/search-results-panel-view.tsx b/src/views/search-results-panel/search-results-panel-view.tsx index b82b1745..8bc5419b 100644 --- a/src/views/search-results-panel/search-results-panel-view.tsx +++ b/src/views/search-results-panel/search-results-panel-view.tsx @@ -21,6 +21,10 @@ import { import { createTree } from '~/models/tree'; import { getInitialResourceTypeFilters } from '~/store/resource-type-filters/resource-type-filters'; import { SearchResultsPanelProps } from "./search-results-panel"; +import { Routes } from '~/routes/routes'; +import { Link } from 'react-router-dom'; +import { StyleRulesCallback, withStyles, WithStyles } from '@material-ui/core'; +import { ArvadosTheme } from '~/common/custom-theme'; export enum SearchResultsPanelColumnNames { CLUSTER = "Cluster", @@ -33,6 +37,15 @@ export enum SearchResultsPanelColumnNames { LAST_MODIFIED = "Last modified" } +export type CssRules = 'siteManagerLink'; + +const styles: StyleRulesCallback = (theme: ArvadosTheme) => ({ + siteManagerLink: { + marginRight: theme.spacing.unit * 2, + float: 'right' + } +}); + export interface WorkflowPanelFilter extends DataTableFilterItem { type: ResourceKind | ContainerRequestState; } @@ -98,19 +111,28 @@ export const searchResultsPanelColumns: DataColumns = [ } ]; -export const SearchResultsPanelView = (props: SearchResultsPanelProps) => { - const homeCluster = props.user.uuid.substr(0, 5); - return Searching clusters: {props.sessions.filter((ss) => ss.loggedIn).map((ss) => {ss.clusterId})} : -
Searching local cluster {props.localCluster} only. To search multiple clusters, start from your home Workbench.
- } - />; -}; +export const SearchResultsPanelView = withStyles(styles, { withTheme: true })( + (props: SearchResultsPanelProps & WithStyles) => { + const homeCluster = props.user.uuid.substr(0, 5); + const loggedIn = props.sessions.filter((ss) => ss.loggedIn); + return + {loggedIn.length === 1 ? + Searching local cluster + : Searching clusters: {loggedIn.map((ss) => + + )}} + {loggedIn.length === 1 && props.localCluster !== homeCluster ? + To search multiple clusters, start from your home Workbench. + : Use Site Manager to manage which clusters will be searched.} + + } + />; + });