diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx index cf01222181acde5a5daef680ecb593f020745107..a3a4bad5ae3e8bed8131be99c3073c65295e1c43 100644 --- a/ivette/src/renderer/Application.tsx +++ b/ivette/src/renderer/Application.tsx @@ -14,7 +14,7 @@ import './style.css'; import { LabView, View, Group } from 'frama-c/LabViews'; import Dive from 'frama-c/dive/Dive'; -import { GridItem } from 'dome/layout/grids'; +import { GridHbox, GridItem } from 'dome/layout/grids'; import * as Controller from './Controller'; import ASTview from './ASTview'; @@ -59,11 +59,11 @@ const HistorySelectionControls = () => { export default (() => { const [sidebar, flipSidebar] = Dome.useSwitch( 'frama-c.sidebar.unfold', - false, + true, ); const [viewbar, flipViewbar] = Dome.useSwitch( 'frama-c.viewbar.unfold', - false, + true, ); return ( @@ -94,9 +94,27 @@ export default (() => { customize={viewbar} settings="frama-c.labview" > - <View id="dashboard" label="Dashboard" defaultView> + <View id="console" label="Console" defaultView> <GridItem id="frama-c.console" /> </View> + <View id="values" label="Values"> + <GridHbox> + <GridItem id="frama-c.astview" /> + <GridItem id="frama-c.values" /> + </GridHbox> + <GridItem id="frama-c.properties" /> + </View> + <View id="dive" label="Dive"> + <GridHbox> + <GridItem id="frama-c.astview" /> + <GridItem id="dive.graph" /> + <GridItem id="frama-c.locations" /> + </GridHbox> + <GridHbox> + <GridItem id="frama-c.properties" /> + <GridItem id="frama-c.console" /> + </GridHbox> + </View> <Group id="frama-c" label="Frama-C" title="Frama-C Kernel Components"> <Controller.Console /> <Properties />