2022-12-06 21:33:12 +01:00
|
|
|
import { Box, createStyles, Group, Header as MantineHeader } from '@mantine/core';
|
2022-10-10 20:46:22 +02:00
|
|
|
import { Logo } from '../Logo';
|
2022-12-04 17:36:30 +01:00
|
|
|
import { useCardStyles } from '../useCardStyles';
|
2022-12-04 21:19:40 +01:00
|
|
|
import { AddElementAction } from './Actions/AddElementAction/AddElementAction';
|
2022-12-06 21:33:12 +01:00
|
|
|
import { ToolsMenu } from './Actions/RunToolAction/ToolsMenu';
|
|
|
|
|
import { Search } from './Search';
|
|
|
|
|
import { SettingsMenu } from './SettingsMenu';
|
2022-12-04 17:36:30 +01:00
|
|
|
|
|
|
|
|
export const HeaderHeight = 64;
|
2022-04-25 00:11:32 +02:00
|
|
|
|
2022-05-16 13:54:08 +02:00
|
|
|
export function Header(props: any) {
|
2022-12-04 17:36:30 +01:00
|
|
|
const { classes } = useStyles();
|
|
|
|
|
const { classes: cardClasses } = useCardStyles();
|
2022-04-25 00:11:32 +02:00
|
|
|
|
|
|
|
|
return (
|
2022-12-04 17:36:30 +01:00
|
|
|
<MantineHeader height={HeaderHeight} className={cardClasses.card}>
|
2022-11-29 20:30:53 +09:00
|
|
|
<Group p="xs" noWrap grow>
|
2022-12-04 17:36:30 +01:00
|
|
|
<Box className={classes.hide}>
|
|
|
|
|
<Logo />
|
|
|
|
|
</Box>
|
2022-11-29 20:30:53 +09:00
|
|
|
<Group position="right" noWrap>
|
2022-12-04 17:36:30 +01:00
|
|
|
<Search />
|
2022-12-04 21:19:40 +01:00
|
|
|
<AddElementAction />
|
2022-12-04 18:45:43 +01:00
|
|
|
<ToolsMenu />
|
|
|
|
|
<SettingsMenu />
|
2022-05-04 07:12:22 +02:00
|
|
|
</Group>
|
2022-05-14 21:41:30 +02:00
|
|
|
</Group>
|
2022-12-04 17:36:30 +01:00
|
|
|
</MantineHeader>
|
2022-04-25 00:11:32 +02:00
|
|
|
);
|
|
|
|
|
}
|
2022-12-04 17:36:30 +01:00
|
|
|
|
|
|
|
|
const useStyles = createStyles((theme) => ({
|
|
|
|
|
hide: {
|
|
|
|
|
[theme.fn.smallerThan('xs')]: {
|
|
|
|
|
display: 'none',
|
|
|
|
|
},
|
|
|
|
|
},
|
|
|
|
|
}));
|