Move PageId definition to AppDrawer

This commit is contained in:
c-bata
2023-01-06 20:27:57 +09:00
parent 39f8637abc
commit 744444d699
3 changed files with 8 additions and 3 deletions
@@ -33,6 +33,13 @@ import { Switch } from "@mui/material"
const drawerWidth = 240
export type PageId =
| "history"
| "analytics"
| "trialTable"
| "trialList"
| "note"
const openedMixin = (theme: Theme): CSSObject => ({
width: drawerWidth,
transition: theme.transitions.create("width", {
@@ -24,7 +24,7 @@ import {
useStudySummaryValue,
} from "../state"
import { TrialTable } from "./TrialTable"
import { AppDrawer } from "./AppDrawer"
import { AppDrawer, PageId } from "./AppDrawer"
import { GraphParallelCoordinate } from "./GraphParallelCoordinate"
import { Contour } from "./GraphContour"
import { GraphHyperparameterImportanceBeta } from "./GraphHyperparameterImportances"
-2
View File
@@ -16,8 +16,6 @@ type Distribution =
| "IntDistribution"
| "CategoricalDistribution"
type PageId = "history" | "analytics" | "trialTable" | "trialList" | "note"
type GraphVisibility = {
history: boolean
paretoFront: boolean