import { createMuiTheme } from '@material-ui/core/styles';
import { ThemeOptions, Theme } from '@material-ui/core/styles/createMuiTheme';
-import purple from '@material-ui/core/colors/purple';
import blue from '@material-ui/core/colors/blue';
import grey from '@material-ui/core/colors/grey';
import green from '@material-ui/core/colors/green';
}
const arvadosPurple = '#361336';
-const purple800 = purple["800"];
-const grey500 = grey["500"];
const grey600 = grey["600"];
const grey700 = grey["700"];
const grey900 = grey["900"];
-const rocheBlue = '#06C';
export const themeOptions: ArvadosThemeOptions = {
typography: {
const FlatTree = (props: FlatTreeProps) =>
<div
onContextMenu={(event) => {
- const [action, id] = getActionAndId(event, FLAT_TREE_ACTIONS.contextMenu);
+ const id = getActionAndId(event, FLAT_TREE_ACTIONS.contextMenu)[1];
props.onContextMenu(event, { id } as any);
}}
onClick={(event) => {
import { RootState } from 'store/store';
import { connect } from 'react-redux';
-import { NotFoundPanelRoot, NotFoundPanelRootDataProps, NotFoundPanelOwnProps } from 'views/not-found-panel/not-found-panel-root';
+import { NotFoundPanelRoot, NotFoundPanelRootDataProps } from 'views/not-found-panel/not-found-panel-root';
const mapStateToProps = (state: RootState): NotFoundPanelRootDataProps => {
return {