diff --git a/ivette/src/frama-c/kernel/PivotTable.tsx b/ivette/src/frama-c/kernel/PivotTable.tsx index f75b205c75eac827eb7daaf6e78f86e9bd16d07d..b923c469de4a19d04e4be4466c73fb14f2d2f9df 100644 --- a/ivette/src/frama-c/kernel/PivotTable.tsx +++ b/ivette/src/frama-c/kernel/PivotTable.tsx @@ -32,6 +32,7 @@ import { LED } from 'dome/controls/displays'; import { Scroll } from 'dome/layout/boxes'; import * as Status from 'frama-c/kernel/Status'; import * as States from 'frama-c/states'; +import { GlobalState, useGlobalState } from 'dome/data/states'; import * as PivotState from 'frama-c/plugins/pivot/api/general'; import PivotTableUI from 'react-pivottable/PivotTableUI'; import 'frama-c/kernel/PivotTable-style.css'; @@ -44,8 +45,10 @@ interface PivotTableProps { data: string[][]; } +const PivotGlobalState = new GlobalState({}); + export function Pivot(props: PivotTableProps): JSX.Element { - const [state, setState] = React.useState({}); + const [state, setState] = useGlobalState(PivotGlobalState); return ( <PivotTableUI data={props.data}